I0 - Computer Science and Engineering - University of Minnesota

Our faculty actively seek out ways improve student instruction. As part of that, ourinstructors have been working on incorporating the University’s Writing EnrichedCurriculum (WEC) into our courses. The WEC project enables faculty members in alldisciplines to infuse meaningful writing instruction into their undergraduate curricula.Phil Barry and Baylor Wetzel have been working to enhance writing instruction inour core undergraduate courses, incorporating diverse writing exercises from softwarerequirements and documentation to project reports. These writing skills can benefitour students immediately in their academic careers and in their future lives as workingprofessionals.Research and DiscoveryOur faculty continue to develop the technologies of tomorrow through collaborativeresearch in healthcare, security, environment, social computing, networking ande-commerce, they collaborate with researchers in every college in the University ofMinnesota and with top institutions across the country. They were successful in receiving$35 million in new research funding in the past two years from federal, state and industrysources that will help us remain on the cutting-edge of the computer science field andhelp us to continue to attract world class faculty and students.Last fall, Senator Al Franken visited assistant professor Dan Keefe’s lab. Using motiondetecting3-D glasses, Keefe gave the Senator a “tour” of a virtual beating heart.The work of Ph.D. student Denis Foo Kune, associate professors Nick Hopperand Yongdae Kim, and undergraduate student John Koelndorfer receivedsignificant attention in the media when the group discovered that cell phonehackers can track your physical location without your knowledge. Using a cheapphone, readily available equipment, and no direct help from a service provider, thegroup has shown how hackers can listen to unencrypted broadcast messages fromcell phone towers.Associate professor Volkan Isler, together with associate professor StergiosRoumeliotis and Peter Sorensen (Fisheries, Wildlife and Conservation Biology),was awarded $2.2M to build a network of robotic boats to track invasive fish. Theresearchers are developing new algorithms for network-aware search and tracking formulti-robot systems, and use the developed network to understand carp behavior. Theirfield experiments performed at metro area lakes and the Malheur Wildlife Refuge inOregon (in collaboration with U.S. Fish and Wildlife Service) are expected to provide asignificant step toward solving the carp problem facing inland lakes across the Midwestand around the world.Service and OutreachBeing an active supporter of the local computing community remains a priority forthe Department. It is important for us to connect with our community, serving as ahost for techinical exchange and innovation, promoting best practices, and recruitingnew students -especially women and under-represented minorities- into the field. Tothat end we have initiated several outreach events that promote the field of computerscience.Over $35 million in new researchfunding in the past 2 yearsRanked 15th for annual number ofconferred doctorates(CRA U.S. CS Ph.D. Production andGraduate Enrollment.)CSE at a glanceDecember 2011Computer Science faculty: 36Graduate Students (full- and part-time):M.S. 231Ph.D. 235Graduate Assistantships 201Number of degrees awarded January 2010-December 2011:Bachelor of Arts in Computer Science 24Bachelor of ScienceComputer Science 250Computer Engineering 63Master of ScienceComputer Science 161Software Engineering 68Ph.D. in Computer Science 464Message from the Department Head

Senator Al Franken (left) visited AssistantProfessor Dan Keefe’s lab. Using motiondetecting3-D glasses, Keefe gave the Senator a“tour” of a virtual beating heart.In addition to our active participation in University events suchas the Careers in Engineering and Physical Sciences camps andthe High Tech Girls Society, we continue to host our own annualKids Technology Day Camp which encourages underprivilegedstudents to become interested in technology and exposes themto a collegiate atmosphere. Camp projects include buildingvoice modulators and programming robotic dogs for a dancecompetition.Maria Gini has been the driving force behind the biennialMinneWIC conference. The regional meeting, modeled afterthe Grace Hopper Celebration of Women in Computing, bringstogether students, faculty, and technology leaders from acrossMinnesota and neighboring states to discuss the role of womenin today’s computing and technology fields, share experiencesand strategies for success, and explore issues common to womenstudying and working in these fields. The goal of the conferenceis to provide an opportunity for young women to exploreopportunities in computing; to network with other women fromacademia, industry and government; and to create friendshipamong women in the region who share the same interest and passion for computing.At the 2010 MinneWIC conference we had 137 attendees to discuss employmentopportunities and participate in a resume clinic and mock interviews with companies likeAccenture, Medtronic, IBM, PTC, Vital Images and Target.Our biennial Open House and Technology Forum continues to grow each year. The2011 Open House and Tech Forum had over 300 registered guests and more than 65exhibits showcasing Department research and innovation and leaders in computingfrom the entire region. We also host specialized regional computing events such asDrupalCamp, SQL Saturday and Twin Cities Code Camp. The University of MinnesotaSoftware Engineering Center’s CodeFreeze symposium is now in its seventh sell-out year.The annual conference chooses a new software-focused theme each year ranging fromcontinuous delivery to software testing. Attendees tell us each year how much they lookforward to the event.Looking forwardWe would like to acknowledge and thank William Schuler and Eugene Shragowitz, who bothleft in 2010, for their many contributions to the department. We wish professor Shragowitz allthe best in his retirement and professor Schuler much success in the Linguistics Department atOhio State.We have many reasons to remain proud and enthusiastic about the work we do in ComputerScience and Engineering. As this report goes to press, we are completing an incrediblysuccessful recruiting season. We look forward to welcoming serveral new faculty membersthis fall. We will keep you informed of our developments as we expand the mission of thedepartment. We enjoy hearing from you and we look forward to the continued support of ouralumni and friends who help to make all of our achievements possible.— Vipin KumarWilliam Norris Professor andCS&E Department HeadMessage from the Department Head5

Departmentalnews in ReviewDepartment Building gets a New Name -Keller HallFaculty, students, alumni and friends gathered for the dedicationceremony to name the Electrical Engineering and ComputerScience Building in honor of the University’s 12th president,Kenneth H. Keller. The Board of Regents voted to name thebuilding after Keller in honor of his outstanding contributions tothe University. The event took place October 27, 2010 in KellerHall.University of Minnesota Teams Advanceto World Finals in ACM ProgrammingContestUniversity of Minnesota programming teams advanced to theworld finals in 2010 and 2011. Peter Lofgren, Michael Ludwig,and Matthew Coudron won first place among the 225 teamscompeting in the 2010 North Central North America Region ofthe ACM International Collegiate Programming Contest (ICPC)and participated in the World Finals. Team 0b00101010 members,Sang Nguyen, Jonathan Hsiao and Lu Ye qualified to advance to theWorld Finals in 2011. Out of more than 200 teams competing inthe region, University of Minnesota teams have consistently placedteams in the top five.Interrante, Shekhar and SrivastavaCo-Lead $8M NSF ProjectThree Computer Science and Engineering faculty are part of ateam that was awarded a five-year, $8M grant from the NationalScience Foundation’s Office of Cyber Infrastructure. The project,Terra Populus: A Global Population / Environment Data Network(TerraPop), is lead by Steven Ruggles (Minnesota PopulationCenter), Jonathon Foley (Institute on the Environment), VictoriaInterrante, Wendy Pradt Lougee (University of MinnesotaLibraries), Steven Manson (Geography), Jaideep Srivastava andShashi Shekhar. TerraPop will combine two centuries of census datawith global environmental data including land cover, land use andclimate records. Beyond the goal of integrating this informationinto a common database, the team plans to disseminate the newlyavailable data to researchers around the world.GroupLens Collaborative FilteringRecommender Systems Named Recipientof the ACM Software System AwardThe ACM announced the GroupLens team as the winners of the2010 ACM Software System Award. The group was honored fortheir innovations in computing technology that have led to practicalsolutions for a wide range of challenges facing commerce, education,and society. The award reflects outstanding achievements thathave resulted in personalized recommendations from informationfiltering. The GroupLens team includes John Riedl (Universityof Minnesota), Paul Resnick (University of Michigan), Joseph A.Konstan (University of Minnesota), Neophytos Iacovou (COVOUTechnologists), Peter Bergstrom (Fluke Thermography), MiteshSuchak (Massachusetts Institute of Technology), David Maltz(Microsoft), Brad Miller (Luther College), Jon Herlocker (VMware,Inc.), Lee Gordon (Gordon Consulting, LLC), Sean McNee(FTI Consulting, Inc.), and Shyong (Tony) K. Lam (University ofMinnesota). The Software System Award is given to an institutionor individuals recognized for developing software systems that havehad a lasting influence, reflected in contributions to concepts and/orcommercial acceptance.6News in Review

est Paper awardsbest papers 2010IEEE INFOCOM 2010 K.-W. Kwong, L. Gao, R. Guerin, andZhi-Li ZhangSINCONF 2010 Anand Singh, David LiljaIEEE Transactions on Robotics King-Sun Fu MemorialStergios Roumeliotis, Anastasios Mourikis, Nikolas TrawnyNSDI‘2010 Ethan Katz-Bassett, Harsha V. Madhyastha, VijayKumar Adhikari, Colin Scott, Justine Sherry, Peter van Wesep,Thomas Anderson, and Arvind Krishnamurthy2010 Joint Virtual Reality Conference Lane Phillips, VictoriaInterrante, Michael Kaeding, Brian Ries, and Lee Anderson11th Pacific Rim International Conference on ArtificialIntelligence (PRICAI) Christian Desrosiers, George Karypis18th IEEE International Conference on Network ProtocolsSourabh Jain, Gowri Chitloor Parthasarathy, and Zhi-Li Zhangbest papers 2011IEEE Transactions on Parallel and Distributed Systems DavidDu, Tian He, Paul ( Jaehoon) JeongGame Behind the Video Game Conference. Muhammad Ahmadand Jaideep Srivastava33rd IEEE International Conference on Software EngineeringMatt Staats, Michael W. Whalen, and Mats P.E. HeimdahlMSN 2011 Qingquan Zhang2011 WikiSym Shyong (Tony) K. Lam, Anuradha Uduwage,Zhenhua Dong, Shilad Sen, David R. Musicant, Loren Terveenand John RiedlACM International Conference on Web Science MuhammadAurangzeb Ahmed, Jaideep Srivastava, Brian Keegan,Noshir Contractor and Dmitri Williams12th International Symposium on Spatial and TemporalDatabases Mohamed Sarwat, Mohamed Mokbel, Xun Zhouand Suman NathUMAP 2011 Aditya Pal, Rosta Farzan, Joseph A. Konstan andRobert E. KrautCIDU 2011 Jaya Kawale, Stefan Liess, Arjun Kumar, AuroopGanguly, Michael Steinbach, Nagiza Samatova, Fred Semazzi,Peter Snyder, Vipin KumarEbay 5th Engineering Poster Session Puja Das (Best Presenter)runners up and honorablementionsCHI 2010 Katherine Panciera, Reid Priedhorsky, Loren Terveenand Thomas EricksonACM Symposium on Interactive 3D Graphics and Games 2011Dane Coffey, Nicholas Malbraaten, Trung Le, Iman Borazjani,Fotis Sotiropoulos, and Daniel F. KeefeIEEE VisWeek 2010 Best Panel. Jason Dykes, Dan Keefe,Gordon Kindlmann, Tamara Munzner, Alark JoshiStudent Scholarships, Fellowships, and Awards102010 Honeywell InnovatorsScholarshipJoel Hesch3M ScholarshipLoren Puchalla FioreHung PhamAchievement Rewards forCollege Scientists (ARCS-MN)FellowshipJustin LevandoskiADC FellowshipShuo ChangJi SuDesheng ZhangJia ZhouARCS FellowshipJustin LevandoskiCH Robinson ScholarshipAndrew SchultzGraduate FellowshipSoumyadeep ChatterjeeAritra ChowdhuryLian DuanElizabeth Jensenawards and honorsKomal KapoorSanyam MehtaDepartmental FellowshipDragos (David) AnastasiuJason BiatekIan DeSilvaBen HeintzErnesto NunesPatrick PlonskiRahul SaladiAmir Asiaee TaheriKevin WilliamsDoctoral DissertationFellowshipJoel HeschAjay JoshiAbedelaziz MohaisenExplorations in ScienceThrough Computation StudentAwardJaya KawaleIBM FellowshipDimitrije JevremovicIGERTMike EvansITS Minnesota GraduateStudent AwardRavishankar SivalingamLando ScholarshipNathan FoxRyan HaaskenShimin LianLu YeGraham SmithKatie PiontekHuy TranDella Polla AlexanderDaniel BalmNathan FoxEvan GilbertVictor HeorhiadiNicholas MalbraatenDaniel MoyChristopher ThompsonKatieAnna WolfNSF FellowshipGregory GayElizabeth KochNSF Graduate ReserachFellowshipKatieAnna WolfNSF Nordic ResearchOpportunity GrantJames FaghmousPen Yew ScholarshipHung NguyenThomson ReutersMark ZinglerRobert HomanDhruv GoelJonathan HsiaoThomson West ComputerScience Scholars FundSawn BowmanJim AveryStudy Abroad Travel AwardsAndrew Schultz - EnglandKatieAnna Wolf – ItalyWalter Barnes LangFellowshipGang Fang

DepartmentalResearch AreasData Mining, Databases, &Geographical Information SystemsA. Banerjee, D. Boley, J. Carlis, G. Karypis, V. Kumar,M. Mokbel, S. Shekhar, J. SrivastavaThis research group focuses on the development of novel algorithmsfor anomaly and pattern detection, predictive modeling, queryprocessing, and spatial data analysis. This research is conductedacross a variety of domains, including: bioinformatics, cyber security,global climate data analysis, sensor networks, social computing,transportation, and the Web. This group has extensive connectionswith industry and national labs, providing a rich source of problems,data sets, and experiences for students.Architectures & CompilersP. Yew, A. ZhaiComputer architecture and compiler research targets on futuregenerations of high-performance low-power multicore systems.Areas of focus include: architectural and compiler supportfor speculative thread execution, high-performance memorysystem, system virtualization for cloud computing, and supportfor domain experts to create applications on future exascalecomputers.Bioinformatics &Computational BiologyD. Boley, J. Carlis, R. Janardan, G. Karypis, R. Kuang,V. Kumar, C. MyersBioinformatics and computational biology research focuseson building predictive models for effective disease diagnoses,algorithms for sequence and structure analysis, protein structureand function prediction, virtual screening and lead discovery, datamodeling, Database Management Systems extensions in supportof brain image and proteomics analyses, and analysis and inferenceof genetic and protein-protein interaction networks. This group hasa growing collaboration with the University’s College of BiologicalSciences, Medical School, and the Mayo Clinic.Graphics & VisualizationV. Interrante, D. Keefe, G. MeyerGraphics and visualization research specializes in communicatinginformation to users through images. This research group worksin immersive virtual environments, 3-D user interaction, nonphotorealisticrendering, color appearance, color synthesis, and colorreproduction techniques. Research focuses on interdisciplinaryscientific visualization with applications in 3-D medical imaging,perceptual issues in virtual environments, and biomechanicalanalysis.10 1010 10 101010 10 10101010 10 1010 10 10 10 101010 10 10 10 100 110101010 10 1010 10 10 1010101010High Performance ComputingD. Boley, G. Karypis, V. Kumar, Y. Saad, J. WeissmanResearch areas being pursued by this group include grid computing,parallel algorithm design, performance analysis, and sparse matrixalgorithms for large-scale scientific and engineering simulations.Software libraries developed by the group are used extensivelyworld-wide in industry, academia and research labs.12Research areas

FacultybiographiesArindam BanerjeeAssociate Professor Arindam Banerjee received his Ph.D. fromthe University of Texas at Austin in 2005, where his dissertationwas nominated for the best dissertation award. His researchinterests are in machine learning, data mining, convex analysis andoptimization, and their applications in complex real-world problemsincluding problems in text and web mining, climate sciences,finance, social network analysis, and bioinformatics. He is currentlya resident fellow at the University of Minnesota’s Institute onthe Environment. He has won several awards, including the NSFCAREER award in 2010, the McKnight Land-Grant Professorshipat the University of Minnesota, Twin Cities (2009–2011), theJ. T. Oden Faculty Research Fellowship from the Institute forComputational Engineering and Sciences (ICES), Universityof Texas at Austin (2006), and the IBM PhD fellowship for theacademic years 2003–2004 and 2004–2005. He has also won severalawards for his publications, including the Best Paper Award at theSIAM International Conference on Data Mining (SDM) (2004),the Best Research Paper Award under University CooperativeSociety Research Excellence Awards, University of Texas at Austin(2005), the Best of SIAM Data Mining (SDM) Award at the SIAMInternational Conference on Data Mining (2007), and the BestStudent Paper Award at the SIAM International Conference onData Mining (SDM) (2012).Selected PublicationsH. Wang and A. Banerjee. Online Alternating Directions Method.International Conference on Machine Learning (ICML), 2011.P. Das and A. Banerjee. Meta Optimization and its Application toPortfolio Selection. International Conference on Knowledge Discoveryand Data Mining (KDD), 2011.H. Wang, A. Banerjee, and D. Boley. Common Component Analysis forMultiple Covariance Matrices. International Conference on KnowledgeDiscovery and Data Mining (KDD), 2011.A. Agovic, A. Banerjee, and S. Chatterjee. Probabilistic Matrix Addition.International Conference on Machine Learning (ICML), 2011.Daniel BoleyProfessor Boley specializes in numerical analysis, linear algebra andcontrol, computational methods in statistical machine learning,unsupervised document categorization, in data-mining andbioinformatics. He is an IEEE senior member and a fellow in theMinnesota Supercomputer Institute. Boley has approximately 140publications and has served on numerous professional panels andcommittees. He is a member of SIAM, IEEE, ACM and the ACMspecial interest group on Numerical Mathematics. Boley has beenan associate editor for the SIAM Journal of Matrix Analysis and haschaired several technical symposia at major conferences. In additionto his work as a professor, Boley has had extended visiting positionsat the Los Alamos Scientific Laboratory, the IBM Research Centerin Zurich (Switzerland), the Australian National University inCanberra, Stanford University, and the University of Salerno (Italy).His research interests include large sparse linear algebra problemsarising from many engineering applications, the integration ofnumerical techniques in new technologies in a robust and faulttolerant manner, and the application of similar techniques to specificapplications. Applications include control theory, bioinformatics,machine learning, data mining, and high performance computing.Selected PublicationsDaniel Boley, Gyan Ranjan, and Zhi-Li Zhang: “Commute times fora directed graph using an asymmetric Laplacian,” Linear Algebra andAppl., 435:224-242, 2011.Dimitrije Jevremovic, Cong T. Trinh, Friedrich Srienc, and Daniel Boley,“On algebraic properties of extreme pathways in metabolic networks,”J. of Computational Biology, February 2010, 17(2): 107-119.Dongwei Cao, Osama Masoud, Daniel Boley, and NikolaosPapanikolopoulos, “Human motion recognition using suport vectormachines,” Computer Vision and Image Understanding, 113(10):1064-1075, 2009 .14faculty biographies

David Hung-Chang DuDr. David Du is currently the Qwest Chair Professor of computerscience and engineering. He is also the director of a NationalScience Foundation Industrial/University Collaboration ResearchCenter ( I/UCRC) on intelligent storage. This center is supportedby a number of companies including Seagate, Symantec, Xyratex,and Los Alamos National Labs. The mission of the center is toinvestigate new storage technologies and to design new storagesystems architecture to address the “big data” problem. Hehas served as a program director (IPA) at the National ScienceFoundation CISE/CNS Division from March 2006 to September2008. At NSF, he was responsible for the NeTS (networkingresearch cluster) NOSS (Networks of Sensor Systems) Programand the Cyber Trust Program. Dr. Du received a Ph.D. degreefrom the University of Washington (Seattle) in 1981. He joinedthe University of Minnesota as a faculty in 1981. Dr. Du has a widerange of research expertise including multimedia computing, massstorage systems, high-speed networking, sensor networks, cybersecurity, high-performance file systems and I/O, database design,and CAD for VLSI circuits. He has authored and co-authored over230 technical papers including 110 referred journal publicationsin these research areas. He has graduated 51 Ph.D. and 80+ M.S.students in the last 30 years. His research in multimedia computingand storage systems include video-on-demand server architecture,video and audio synchronization techniques, multimedia storagesystems, intelligent storage devices and future storage systems.His research in CAD includes physical layout, timing verificationand delay fault testing for high-speed circuits. His research inhigh-speed networking includes heterogeneous high-performancecomputing over high-speed networks, quality of service, paralleldata archive for high-performance computing, optical networksand sensor networks. He is also working on the security and privacyaspects of vehicle-to-vehicle networks.Selected PublicationsJ. Jeong, S. Guo, T. He and D. Du “Autonomous Passive LocalizationAlgorithm for Road Sensor Network,” IEEE Transactions onComputer, August 2010.Jeong, S. Guo, Y. Gu, T. He and D. Du “Trajectory-Based DataForwarding for Light-Traffic Vehicular Ad-Hoc Networks”, IEEETransactions on Parallel and Distributed Systems (TPDS), May2010.Maria GiniProfessor Gini specializes in robotics and artificial intelligence.Specifically she studies autonomous agents that are capable ofmaking intelligent decisions. Applications range from softwareagents that decide what to buy and sell to make a profit, todistributed methods for allocation of tasks that have both atemporal and a spatial component, agents that learn opponentbehaviors, robots that work as members of teams of humans androbots to support search and rescue operations.She is a Fellow of the Association for the Advancement ofArtificial Intelligence, a Distinguished Scientist of the Associationfor Computing Machinery, a Distinguished Professor of the Collegeof Science and Engineering at the University of Minnesota, and thewinner of numerous University awards, including the DistinguishedWomen Scholars Award, and the Morse-Alumni Award forOutstanding Contributions to Undergraduate Education.She is a member of the International Foundation on AutonomousAgents and Multi-Agent Systems board, a member of the CRA-Wboard co-chairing the Distributed Research Experiences forUndergraduates (DREU) program, and the past chair of the ACMSpecial Interest Group on Artificial Intelligence (SIGART).She is on the editorial board of numerous journals, includingAutonomous Agents & Multi-Agent Systems, Robotics andAutonomous Systems, Web Intelligence and Agent Systems, andIntegrated Computer Aided Engineering. She has coauthored over200 technical papers in journals, books, and conference proceedings.Selected PublicationsJohn Collins, Wolfgang Ketter, and Maria Gini, “Flexible decisionsupport in dynamic interorganizational networks,” European Journal ofInformation Systems, 19(4), pp 436--444, August 2010.Maitreyi Nanjanath and Maria Gini, “Repeated auctions for robust taskexecution by a robot team,” Robotics and Autonomous Systems, 58(7), pp900-909, July 2010.Paul E. Rybski, Amy Larson, Harini Veeraraghavan, Monica Anderson,and Maria Gini, “Performance Evaluation of a Multi-Robot Search& Retrieval System: Experiences with MinDART,” Int’l Journal ofIntelligent and Robotic Systems, 52(3-4), pp 363--387, 2008.Mark Hoogendorn and Maria Gini, “Preferences of Agents inDecentralized Task Allocation,’’ AI Communications, Vol. 22, N. 3,2009, pp 143--152.16faculty biographies

Tian HeAssociate Professor Tian He’s research interests lie broadly incomputer networks, cyber-physical systems, distributed systems,operating systems and real-time computing. Currently, hisresearch is focusing on Wireless Sensor Networks (WSNs), a newinformation paradigm based on the collaboration of a large numberof self-organized sensing nodes. These networks form the basisfor many promising applications such as environment monitoring,immersive gaming, intelligent battlefields, hazard response systems,smart hospitals and learning environments. His research is mainlysystem-oriented - building practical sensor systems such asVigilNet. Dr. He also devotes his research effort to several majortopics in WSNs such as localization, low-duty-cycle networking,real-time networking, programming abstraction and wirelessmodeling. Dr. He is the author and co-author of over one hundred10 10 10 10 10 10 10 10 10 1010 10 1010 10 1010 10 1010 10 1010 10 10papers in premier journals and conferences with over 7000 citations.Dr. He has received a number of research awards, including four10 10 10 10 10 10 10 10 10 10 10 10best paper awards (MSN 2006, SASN 2006, MASS 2008, MDM2009). Dr. 10 10 He is also the recipient 10of the 10 10 NSF CAREER 10Award102009 and McKnight Land-Grant Professorship. Dr. He has served10 10 10 10 10 10 10 10 10 10 10 10as general program chair of international conferences and on manyprogram 10 10 committees, and also 10 10 currently 10 serves as an editorial 10 10 boardmember for six international journals including ACM Transactions10 10 10 10 10 10 10 10 10 10 10 10on Sensor Networks. Dr. He received his Ph.D. degree underProfessor John A. Stankovic from the University of Virginia in2004.10 10 Selected 10 Publications 10 10 10 10 10 10 10Ting Zhu, Ziguo Zhong, Tian He, and Zhi-Li Zhang. Exploring10 10 10 10 10 10 10 10 10 10 10 10 10Link Correlation for Efficient Flooding in Wireless Sensor Networks.10 10 In 7th 10 USENIX 10 10 Symposium on 10 Networked 10 10 Systems Design 10and1010 10 Implementation 10 10 10 (NSDI 10 10‘10), 10 April; 102010.10 10 10 10 10Shuo Guo, Yu Gu, Bo Jiang, and Tian He. Opportunistic Flooding 10 10 Low-Duty-Cycle 10 10 10 Wireless Sensor 10Networks 10 10with Unreliable10Links. 10In10 10 The 1015th 10Annual 10 International 10 10Conference on 10Mobile 10Computing 10 andNetworking (MobiCom), 2009.10 10 Ziguo Zhong 10and 10 10Tian He. Achieving10Range-Free 10Localization10beyond1010 10Connectivity. 10In 10 SenSys 10 ‘09: 10 Proceedings 10 10of the 107th 10 international 10 10 10conference on Embedded networked sensor systems, 2009.10 10 10 10 10 10 10 10 10 10Yu Gu and Tian He. Data forwarding in extremely low duty-cycle10 10sensor 10 networks 10with 10unreliable 10communication 1010links. 1010In 10 SenSys 10 10‘07: Proceedings of the 5th international conference on Embedded10 10 10 10 10 10 10 10networked sensor systems, New York, NY, USA, pages 321--334, 2007.10 10 10 10 10 10 10 10 10 10 10 10 10 10 1010 10 10 10 10 10 10 10 10 1010 100010 10 10 10 10 10 10 10 10 10 10 10 10 10 10Mats HeimdahlProfessor Mats Heimdahl specializes in software engineeringand safety critical systems. He is the director of the University ofMinnesota Software Engineering Center (UMSEC). Heimdahlis the recipient of the National Science Foundation’s CAREERaward, a McKnight Land-Grant Professorship and the McKnightPresidential Fellow award at the University of Minnesota, as well asthe University of Minnesota Award for Outstanding Contributionsto Post-Baccalaureate, Graduate, and Professional Education.Heimdahl’s research group, the Critical Systems Research Group(CriSys), is conducting research in software engineering and isinvestigating methods and tools to help us develop software withpredictable behavior free from critical defects. Research in thisarea spans all aspects of system development ranging from conceptformation and requirements specification, through design andimplementation, to testing and maintenance. Currently, his group isinvestigating issues in automated software engineering techniques;how they can effectively leverage tool support to reduce cost,shorten cycle time, and improve software quality. Specifically,he focuses on software requirements engineering, model-basedsoftware development, software validation, static verification,code generation from models, software verification, software testautomation, assurance cases, and certification.Selected PublicationsMatt Staats, Michael W. Whalen, and Mats P.E. Heimdahl. “Programs,Tests, and Oracles: The Foundations of Testing Revisited,” 33rdIEEE International Conference on Software Engineering. Honolulu,Hawaii, May, 2011 (Paper awarded the ACM Distinguished PaperAward).Ajitha Rajan, Michael W. Whalen, and Mats P.E. Heimdahl. “TheEffect of Program and Model Structure on MC/DC Test Adequacy10Coverage,” 22nd IEEE International Conference on SoftwareEngineering, 10 2008 (Paper 10awarded the ACM Distinguished PaperAward).10Michael W. Whalen, Ajitha Rajan, Mats P.E. Heimdahl, and Steven10 10 10 10 10P. Miller. Coverage “Metrics for Requirements-Based Testing,”Proceedings of ISSTA ‘06: International Symposium on SoftwareTesting and Analysis, 2006.10 10 10101faculty biographies101010 10 10 10 10 1010 10 10 1010 10 1001010 10 10 1010101010 10 10 10 1010 10 10 10 1010 10 10 10 10 10101010 10 10 10 10 1017

Nicholas HopperProfessor Hopper’s research focuses on computer security andprivacy. Broadly, the field of computer security studies the behaviorof computing systems in the presence of an adversary, seeking tounderstand the methods of attack and mechanisms that can be usedto mitigate attacks. Professor Hopper’s work in this area has focusedon protocols and algorithms for censorship resistant internetpublishing, secure and efficient peer-to-peer file sharing, anonymousnetworking, and steganography. Professor Hopper and his grouphave published papers on these topics in highly selective venuessuch as STOC, Crypto, Eurocrypt, TCC, CCS, NDSS, ICDCS,PETS, ACM TISSEC and IEEE Transactions on Computers.Professor Hopper completed his Ph.D. at Carnegie MellonUniversity in 2004. He received the NSF CAREER award in 2006,the IT Student Board’s “CSE professor of the year” award in 2007,and was a 2008-2010 McKnight Land-Grant Professor. Hopper is amember of the International Association for Cryptologic Researchand serves on the advisory board of the Privacy EnhancingTechnologies Symposium, and the editorial board for ACM Transactionson Information and System Security (TISSEC).Selected PublicationsRob Jansen and Nicholas Hopper. “Shadow: Running Tor in a Box forAccurate and Efficient Experimentation,” in NDSS’12: Proceedingsof the 19th Annual Network and Distributed Systems SecuritySymposium, February 2012.Nicholas Hopper, Eugene Y. Vasserman, and Eric Chan-Tin, “Howmuch anonymity does network latency leak?” ACM Transactions onInformation and System Security 13(2):1-28, February 2010.Nicholas Hopper, Luis von Ahn, and John Langford, “Provably SecureSteganography,” IEEE Transactions on Computers 58(5): 662–676,2009.Victoria InterranteProfessor Interrante specializes in the fields of virtual environments,visualization and computer graphics. Broadly speaking, her researchfocuses on the application of insights from visual perception tothe design, implementation, and evaluation of novel methods foreffectively communicating scientific data and information throughcomputer-generated images. Interrante has enjoyed numerousinterdisciplinary collaborations with colleagues across the Universityon a variety of projects ranging from the investigation of spatialperception and presence in immersive virtual environments tothe development of methods for more effectively visualizingmultivariate turbulent flow data. Interrante received the PresidentialEarly Career Award for Scientists and Engineers in 1999 and wasa 2001–2003 McKnight Land Grant Professor. She is a seniormember of ACM and IEEE and an associate editor of the ACMTransactions on Applied Perception.Selected PublicationsGerd Bruder, Victoria Interrante, Lane Phillips and Frank SteinickeRedirecting Walking and Driving for Natural Navigationin Immersive Virtual Environments, IEEE Transactions onVisualization and Computer Graphics, 18, 4, April 2012, pp. 538-545.Lane Phillips, Victoria Interrante, Michael Kaeding, Brian Ries, andLee Anderson Correlations Between Physiological Response, Gait,Personality, and Presence in Immersive Virtual Environments,Presence: Teleoperators and Virtual Environments, 21, 2 (Spring2012).Haleh Hagh-Shenas, Sunghee Kim, Victoria Interrante and ChristopherHealey Weaving versus Blending: A Quantitative Assessment of theInformation Carrying Capacities of Two Alternative Methods forConveying Multivariate Data with Color, IEEE Transactions onVisualization and Computer Graphics, 13(8), October 2007, pp.1270–1277.18faculty biographies

I. Volkan IslerVolkan Isler is an Associate Professor of Computer Scienceand Engineering. He is also a resident fellow at the Institute onEnvironment and 2010-12 McKnight Land-Grant Professor.In 2008, he received the National Science Foundation’s YoungInvestigator Award (CAREER). He is currently co-chairing theIEEE Society of Robotics and Automation’s Technical Committeeon Networked Robots. He is also serving as an Associate Editorfor IEEE Transactions on Robotics and IEEE Transactions onAutomation Science and Engineering. His research interests areprimarily in robotics, sensor networks and geometric algorithms.His group seeks to develop algorithms with provable performanceguarantees (often using geometric techniques) and to validate themwith real-life deployments. In recent years, his lab has been focusingon environmental applications such as tracking invasive fish andusing robots as data mules for harvesting sensor data.Selected PublicationsD. Bhadauria, O. Tekdas, V. Isler “Robotic Data Mules for CollectingData over Sparse Sensor Fields” Journal of Field Robotics, 28(3): 388--404, 2011.P. Tokekar, D. Bhadauria, A. Studenski, V. Isler “A Robotic System forMonitoring Carp in Minnesota Lakes” Journal of Field Robotics,27(3): 681--685, 2010.P. Tokekar, J. Vander Hook, V. Isler “Active Target Localization forBearing Based Robotic Telemetry” In Proc. IEEE/RSJ Int. Conf. onIntelligent Robots and Systems, 2011.D. Bhadauria, V. Isler “Capturing an Evader in a PolygonalEnvironment with Obstacles” In 22nd International Joint Conferenceon Artificial Intelligence, 2011.Ravi JanardanProfessor Janardan specializes in geometric computing andits applications. Broadly speaking, geometric computing isconcerned with the design of efficient computational techniques forrepresenting, reasoning with, and manipulating geometric entities.Janardan’s work in this area encompasses combinatorial analysis,algorithm and data structure design, and software development, andthe application of these methods to problems in geometric/spatialdatabases, medicine, computer-aided design and manufacture, andstructural biology. He is a Senior Member of IEEE and a memberof the IEEE Computer SocietySelected PublicationsY. Kumar, R. Janardan, B. Larson, and J. Moon, “Improvedsegmentation of teeth in dental models,” Computer-Aided Design andApplications, 8(2), 211-224, 2011.I. Ilinkin, J. Ye, and R. Janardan, “Multiple structure alignment andconsensus identification for proteins,” BMC Bioinformatics, 2010,11:71.Y. Kumar, R. Janardan, P. Gupta, “Efficient algorithms for reverseproximity query problems,” Proceedings of the 16th ACMSIGSPATIAL International Conference on Advances in GeographicInformation Systems, Irvine, CA, 2008, pp 347–356.I. Ilinkin, R. Janardan, M. Smid, E. Johnson, P. Castillo, J. Schwerdt,“Heuristics for estimating contact-area of supports in layeredmanufacturing,” ACM Journal on Experimental Algorithmics,11(1.6),2006, pp 1–19.faculty biographies19

George KarypisProfessor George Karypis’ research interests span the areas ofdata mining, bio-informatics, parallel processing, CAD, andscientific computing. His research in data mining is focused ondeveloping innovative new algorithms for a variety of data miningproblems including clustering, classification, pattern discovery, anddeviation detection, with an emphasis on business applications andinformation retrieval. Karypis’ work in bio-informatics is focused ondeveloping algorithms for understanding the function of genes andproteins in different species using data arising from genome-wideexpression profiles. In this work, he uses data mining techniques toanalyze expression profiles of genes and find groups of genes thatbehave similarly, and determine the underlying genetic regulatorynetwork. Karypis’ research in parallel processing is focused ondeveloping scalable parallel algorithms for emerging applicationsand architectures. This includes research on data intensiveapplications, scientific computing, architectures with deep memoryhierarchies, and architectures with heterogeneous interconnectionnetworks. His recent research has led to the development of anumber of highly efficient and scalable software packages andalgorithms such as METIS (a serial sparse graph partitioningsoftware), ParMETIS (an MPI-based parallel graph partitioningsoftware), hMETIS (a circuit partitioning software), PSPASES(a parallel direct solver), and CHAMELEON (a spatial clusteringalgorithm).Selected PublicationsXia Ning and George Karypis, “The Set Classification Problem andSolution Methods” SIAM Data Mining, pp. 847-858, 2009.Huzefa Rangwala, Christopher Kauffman, and George Karypis, “Akernel framework for protein residue annotation” PAKDD, pp. 439-451, 2009.Rezwan Ahmed, Huzefa Rangwala, and George Karypis, “TOPTMH:Topology Predictor for Transmembrane alpha-Helices” Journal ofBioinformatics and Computational Biology, 2009.Dan KeefeAssistant Professor Keefe’s research centers on data visualization(visualization of time-varying multidimensional data, visualizationat scale, perceptually optimized visualization), interactive computergraphics (3D interfaces, haptics, pen and multi-touch input),and computational creativity (design and creativity support tools,synergies between art and science). His research is applied toexciting problems in science, engineering, art, and the humanities.Current projects include applications to: virtual prototyping formedical device design, improving training for laparoscopic androbot-assisted surgery, analyzing the biomechanics of the humanspine, reconstructing ancient Greek sites in virtual environments,real-time visualization of second-harmonic generation microscopydata, and more. In 2011 Keefe received the NSF CAREER Award.He has received best paper and best panel awards at internationalconferences for his research and teaching, and he regularly serves onprogram committees for the leading conferences in his field and onnational and international review panels. In addition to his workin computer science, Keefe is also an accomplished artist and haspublished and exhibited work in top international venues for digitalart. His research is supported by the National Science Foundation,the National Academies Keck Futures Initiative, the DigitalTechnology Center and Office of the Vice President for Research atthe University of Minnesota, and industry.Before joining the University of Minnesota, Keefe did postdoctoralwork at Brown University jointly with the departments ofComputer Science and Ecology and Evolutionary Biology and withthe Rhode Island School of Design. He received the Ph.D. in 2007from Brown University’s Department of Computer Science, whichnominated his work for the ACM Dissertation Prize, and the B.S.in Computer Engineering summa cum laude from Tufts Universityin 1999.Selected PublicationsDane Coffey, Fedor Korsakov, Marcus Ewert, Haleh Hagh-Shenas,Lauren Thorson, Arin Ellingson, David Nuckley, and Daniel F. Keefe.Visualizing Motion Data in Virtual Reality: Understanding the Rolesof Animation, Interaction, and Static Presentation. Computer GraphicsForum (EuroVis 2012 Special Issue), 2012.Dane Coffey, Nicholas Malbraaten, Trung Le, Iman Borazjani, FotisSotiropoulos, Arthur G. Erdman, and Daniel F. Keefe InteractiveSlice WIM: Navigating and Interrogating Volume Datasets Using aMulti-Surface, Multi-Touch VR Interface. IEEE Transactions onVisualization and Computer Graphics, 2012.20faculty biographies

Rui KuangAssistant Professor Kuang joined the department in the Fallof 2006 and specializes in computational biology, biomedicalinformatics and machine learning. Kuang is interested informulating novel machine-learning algorithms to extract andintegrate subtle and elusive information hiding in high-throughputbiological data for understanding the association between genomiccharacteristics and phenotypes. Dr. Kuang’s lab has designed severalnovel theoretically principled graph-based learning algorithmsand kernel methods for a unified analysis of the high-throughputdata in a data-driven perspective: learn accurate predictive modelsand essential key elements to characterize and predict phenotypes.His current projects center around cancer genomics, comparativegenome annotation and protein analysis. He has co-authoredrefereed publications for various journals and conferences includingBioinformatics, BMC Bioinformatics, Journal of Bioinformaticsand Computational Biology, Journal of Machine LearningResearch, Genetica, The FEBS Journal, Computational SystemsBioinformatics Conference (CSB), Conference on Learning Theoryand Kernel Workshop (COLT), SIAM International Conferenceon Data Mining (SDM) and IEEE International Conference onData Mining (ICDM).Selected PublicationsTaeHyun Hwang, Hugues Sicotte, Ze Tian, Baolin Wu, DennisWigle, Jean-Pierre Kocher, Vipin Kumar and Rui Kuang, “Robustand Efficient Identification of Biomarkers by Classifying Features onGraphs,” Bioinformatics, Vol. 24, No. 18, pages 2023–2029, 2008.TaeHyun Hwang, Ze Tian, Jean-Pierre Kocher, and Rui Kuang,“Learning on Weighted Hypergraphs to Integrate Protein Interactionsand Gene Expressions for Cancer Outcome Prediction,” Proceedings ofEighth IEEE International Conference on Data Mining (ICDM),pages 293–302, 2008.Ze Tian, TaeHyun Hwang and Rui Kuang, “A Hypergraph-basedLearning Algorithm for Classifying Gene Expression and ArrayCGHData with PriorKnowledge,” Bioinformatics, 2009.Vipin KumarProfessor Kumar’s current research interests include data mining,high-performance computing, and their applications in Climate/Ecosystems and Biomedical domains. He is the Lead PI of a 5-year,$10 Million project, “Understanding Climate Change - A DataDriven Approach,” funded by the NSF’s Expeditions in Computingprogram that is aimed at pushing the boundaries of computerscience research. His research has resulted in the development ofthe concept of an isoefficiency metric for evaluating the scalabilityof parallel algorithms, as well as highly efficient parallel algorithmsand software for sparse matrix factorization (PSPASES) andgraph partitioning (METIS, ParMetis, hMetis). He has authoredover 250 research articles, and has coedited or coauthored 11books including widely used text books “Introduction to ParallelComputing” and “Introduction to Data Mining,” both publishedby Addison Wesley. Kumar has served as chair/co-chair for manyinternational conferences and workshops in the area of datamining and parallel computing, including IEEE InternationalConference on Data Mining (2002) and International Parallel andDistributed Processing Symposium (2001). Kumar co-founded theSIAM International Conference on Data Mining and served as afounding co-editor-in-chief of the Journal of Statistical Analysisand Data Mining (an official journal of the American StatisticalAssociation). Currently, Kumar serves on the steering committeesof the SIAM International Conference on Data Mining and theIEEE International Conference on Data Mining, and is serieseditor for the Data Mining and Knowledge Discovery Book Seriespublished by CRC Press/Chapman Hall. Kumar is a Fellow of theACM, IEEE and AAAS, and a member of SIAM. Kumar receivedthe 2009 Distinguished Alumnus Award from the ComputerScience Deaprtment, University of Maryland College Park, and2005 IEEE Computer Society’s Technical Achievement Awardfor contributions to the design and analysis of parallel algorithms,graph-partitioning, and data mining.Selected PublicationsVarun Mithal, Ashish Garg, Shyam Boriah, Michael Steinbach, VipinKumar, Christopher Potter, Steven Klooster, Juan Carlos Castilla-Rubio, “Monitoring Global Forest Cover Using Data Mining,” ACMTransactions on Intelligent Systems and Technology 2(4), 2011.Gaurav Pandey, Bin Zhang, Aaron N. Chang, Chad L. Myers, JunZhu, Vipin Kumar, Eric E. Schadt, “An Integrative Multi-Networkand Multi-Classifier Approach to Predict Genetic Interactions,” PLOSComputational Biology 6(9), 2010. Listed as one of the “notablebreakthroughs in computational biology from the past year” in aneditorial published in Nature Biotechnology.Varun Chandola, Arindam Banerjee, and Vipin Kumar, “AnomalyDetection – A Survey” ACM Computing Surveys, 41(3), 2009.22faculty biographies

Gary MeyerAssociate Professor Gary Meyer’s computer graphics researchemphasizes color appearance design techniques and color synthesisalgorithms. He takes advantage of the human color vision systemto develop computer aided design tools for color appearanceprofessionals and to improve the efficiency and realism of syntheticimage generation techniques. Meyer is developing software thatlets industrial designers and color technologists have the sameinteractive control over color appearance that engineers andarchitects have had over geometry since the beginning of computergraphics almost forty years ago. Computer aided color appearancedesign (CACAD) allows color appearance designers and scientiststo examine how existing paints and coatings look on new products.More importantly, CACAD makes it possible to hypothesize andvisualize new surface coatings with heretofore unseen reflectionproperties. Much of Meyer’s work in realistic image synthesis iscentered on replacing the explicit simulation of a camera with animaging technique that incorporates more of what is known aboutthe human visual system. In this way he hopes to avoid some of theartifacts inherent in photographic techniques and to develop a moredevice independent representation for color. Professor Meyer isalso advancing the state of the art in synthetic image generation bysimulating the mechanisms in nature (such as refraction, scattering,and interference) that determine color.Selected PublicationsLijun Qu and Gary W. Meyer, “Perceptually Guided GeometryReduction,” IEEE Transactions on Visualization and ComputerGraphics, 14:1015–1029, 2008.Seth Berrier, Clement Shimizu, Patrick Chong, Dnardo Colucci, andGary Meyer, “The Wall of Inspiration: A Computer Aided ColorSelection System,” CGIV 2008: Fourth European Conference on Colourin Graphics, Imaging, and Vision, 132–137, 2008.Jon Konieczny and Gary W. Meyer, “Airbrush simulation for artworkand computer modeling,” NPAR 2009: Non-Photorealistic Animationand Rendering Conference, 61-69, 2009.Clement Shimizu and Gary W. Meyer, “Color Styling Tools,” CIC 2010,272-279, 2010.Mohamed MokbelAssociate Professor Mohamed Mokbel’s (Ph.D. Purdue University2005, M.S., B.S., Alexandria University, 1999, 1996) currentresearch interests include database systems, location-based services,and GIS. Mohamed is the main architect for the PLACE, Casper,and CareDB systems that provide a database support for locationbasedservices, location privacy, and personalization, respectively. Hisresearch work has been recognized by three Best Paper Awards atIEEE MASS 2008, MDM 2009, and SSTD 2011, and by the NSFCAREER award in 2010. Mohamed has served as the general cochairfor SSTD 2011, program co-chair for ACM SIGSPATIALGIS 2008-2010, MDM 2011, DMSN 2011, and LBSN 2011, andproceeding chair for ACM SIGMOD 2010. Mohamed is on theeditorial board of IEEE Data Engineering Bulletin, Distributedand Parallel Databases Journal, and Journal of Spatial InformationScience. He is a member of ACM and IEEE and a foundingmember of ACM SIGSPATIAL.Selected PublicationsJustin Levandoski, Mohamed Sarwat, Ahmed Eldawy, and MohamedF. Mokbel. “LARS: A Location-Aware Recommender System”In Proceedings of the IEEE International Conference on DataEngineering, ICDE 2012, Washington D.C., April 2012.Justin Levandoski, Mohamed F. Mokbel, and Mohamed Khalefa.“FlexPref: A Framework for Extensible Preference Evaluationin Database Systems,” In Proceedings of the IEEE InternationalConference on Data Engineering, ICDE 2010, 2010.Chi-Yin Chow, Mohamed F. Mokbel, and Walid G. Aref, “Casper*:Query Processing for Location Services without CompromisingPrivacy,” ACM Transactions on Database Systems, ACM TODS2009, 34(4), 24, December, 2009.faculty biographies23

Chad MyersAssistant Professor Chad Myers joined the department in Januaryof 2008 and specializes in computational biology. Myers’s researchfocuses on developing computational approaches to enable mapping,mining, or inference of biological networks. Recent developments01010101010101010010100100 100 100 10 10in experimental technology have produced enormous amounts ofdata,10including10 10thousands10of sequenced genomes and millions of10 10 10 10 10measurements10capturing the cellular activity and interactions ofgenes or proteins. 10These 10 10 data offer 10 unprecedented 10 ways to studymolecular 10 10biology,10evolution, 10and 10human 10disease,10but making senseof them10poses a number of nontrivial computational challenges.The Myers lab 10 is working 10 10 with biologists 10to 10 develop solutions tothese10problems10 10in a10variety of organisms10 10including10yeast, plants10 10(Arabidopsis and maize), worm and human. Myers has co-authoredforty refereed publications for various journals and conferences.010101010101010Selected PublicationsBellay J, Atluri G, Sing TL, Toufighi K, Costanzo M, Ribeiro PS,Pandey 10 10 G, Baller 10J, 10 VanderSluis 10 10B, 10 Michaut 10M, 10 Han S, Kim P, Brown10GW, Andrews BJ, Boone C, Kumar V, Myers CL. “Putting geneticinteractions 10 in context 10 10 through a global 10 modular 10decomposition”.Genome 10 10 Research 102011 10Jun 1029.10 1010Bellay J*, Han S*, Michaut M*, Kim T, Costanzo M, Andrews BJ, BooneC, Bader GD,10Myers10 10 10 10CL, Kim PM. “Bringing order to protein disorderthrough 10 10 comparative 10 10genomics 10 and genetic 10 10 interactions.” 1010Genome Biol.2011 Feb 15;12(2):R14.10 10 10 10 10Desphande R, Sharma S, Hu WS, Verfaillie CM, Myers CL. “A ScalableApproach 10 10 for Discovering 10 10 10 Conserved 10 10 Active 10Subnetworks 10acrossSpecies.” PLoS Comput Biol. 2010 Dec 9;6(12):e1001028.10 1010 10Baryshnikova A, Costanzo M, Kim Y, Ding H, Koh J, Toufighi K, YounJY, 10 Ou J, 10 San Luis 10BJ, 10Bandyopadhyay 10S, 10 Hibbs 1010M, Hess D, GingrasAC, Bader GD, Troyanskaya OG, Brown GW, Andrews B, Boone C,10 10 10 10 10Myers CL: “Quantitative analysis of fitness and genetic interactions in10 10 10 10 10 10 10yeast on a genome scale.” Nature Methods 2010, 7(12):1017-1024.0 10 100100 10 1010 100100 10 100100 10 1010100 10 1010 1010 10 1010 1010101010101010100 10 10 10 10 10 10 10 10 10 10 10101010101010101010 10 10 10 10 10 10 10 10 10 10 10Gopalan NadathurProfessor Nadathur’s research is at the interface of logic andprogramming languages: he uses ideas from logic to informlanguage structure and he then exploits such structure in the taskof reasoning about properties of computations. He also shows thepractical viability of his ideas by designing good implementationtechniques for the language features he proposes and bydeveloping systems that can be used to establish rich propertiesof programs. He is known especially for his work on the higherorderspecification and prototyping language Prolog and, morerecently, on sophisticated logics for reasoning about programs inthis language. Professor Nadathur moderates the ProgrammingLanguages and the Logic in Computer Science subareas of theACM, NCSTRL and AAAI sponsored Computing ResearchRepository and is a member of the Advisory Board of the Theoryand Practice of Logic Programming journal.Selected Publications/SystemsProgramming with higher-order logic, Cambridge University Press,forthcoming (Spring 2012). (With D. Miller.)Nominal abstraction. Information and Computation, 209:48-73, 2011.(With A.Gacek and D. Miller.)A two-level logic approach to reasoning about computations, Journal ofAutomated Reasoning, 2011. (With A. Gacek and D. Miller.)A meta-programming approach to realizing dependently typed logicprogramming. Proceedings of the Twelfth International ACMSIGPLAN Symposium on Principles of Declarative Programming,pages 187-198. (With D. Baelde and Z. Snow.)Teyjus Version 2: A compiled implementation of Prolog, available sinceMarch 2008 from http://teyjus.cs.umn.edu. (With A. Gacek, S. Holte,X. Qi and Z. Snow.)10 10 1010 10 10 10 10 1010 10 10101010 10 10 10 10 1010 10 10 1010 10 1001 0110 10 10 1010101010 10 10 10 1010 10 10 10 10 1010 1010 10 10 100 10101101010 10 10 10 10 1010 10 10 1001024 faculty biographies

Nikos PapanikolopoulosProfessor Papanikolopoulos specializes in robotics, computervision, and sensors for transportation and homeland security uses.He is the Director of the Center for Distributed Robotics andthe NSF/Industry Safety, Security and Rescue Research Center(SSR-RC), and leads the Security in Transportation TechnologyResearch and Applications (SECTTRA) program. He is creditedwith being the major driving force behind the UMN Scout, asmall reconnaissance robot now used by the United States Army.Papanikolopoulos has more than 230 publications, including journaland conference papers and book chapters, and has graduated morethan 40 masters and doctoral students. He has won numerous bestpaper awards, a best video award at the 2000 IEEE Robotics andAutomation Conference, a Faculty Creativity award in 1999 andthe National Science Foundation’s CAREER Award in 1995. Inaddition, he was awarded the McKnight Land-Grant ProfessorshipAward in 1995 and the Distinguished McKnight UniversityProfessorship in 2007. Papanikolopoulos was a member of theIEEE Robotics & Automation Society Administrative Committee(RAS ADCOM) for two consecutive terms and is an IEEE Fellow.Professor Papanikolopoulos’s work is focused on robotics, computervision, and sensors for transportation, medical, and surveillanceapplications. His work also emphasizes experimental verification ofthe theory that can be done in the Artificial Intelligence, Roboticsand Vision Laboratory that has more than sixty robots of varioussizes. In computer vision, he is interested in model-based tracking,camera placement, moving object segmentation, real-time vision,medical applications, shadow detection, periodic motion analysis,human activity monitoring, morphing, on-line and off-linehandwriting recognition, and object recognition. In transportationand surveillance, he is interested in the use of computer visiontechniques for pedestrian and vehicle detection and tracking,vision-based vehicle following, data collection, bicycle counting,monitoring driver fatigue, and monitoring safety in work zones.Selected PublicationsJoshi, A., and Papanikolopoulos, N.P., “Learning to Detect MovingShadows in Dynamic Environments,” IEEE Trans. on PatternAnalysis and Machine Intelligence, Volume 30, No. 11, 2008,pp 2055–2063.Bodor, R., Drenner, A., Schrater, P., and Papanikolopoulos, N.P.,“Optimal Camera Placement for Automated Surveillance Tasks,”Journal of Intelligent and Robotic Systems, Volume 50, No. 3, 2007,pp 257–2953.Stoeter, S., and Papanikolopoulos, N.P., “Kinematic Motion Model forJumping Scout Robots,” IEEE Trans. on Robotics, Volume 22, No. 2,2006, pp 398–403.John RiedlProfessor Riedl’s research is in intelligent user interfaces for thesocial web. His GroupLens research group seeks to develop toolsthat make our collaborations on the social web even more pleasantand fruitful. GroupLens has a strong tradition of developingrecommender systems that help people find the information,products, and other relationships they seek. For instance, intagging systems GroupLens researchers are exploring ways tocreate automated tools that discover problems in the taggingvocabulary, and suggest fixes to special contributors. These toolspromise to improve the quality and value of the tags, whilepreserving the flexibility of a community-maintained vocabularyLikewise, in Wikipedia, GroupLens researchers are building newinterfaces that help editors find the most valuable articles they canedit, and show them key parts of the history of the article to helpthem avoid stepping on the toes of more senior editors. Thoughmany GroupLens research projects have been very successful,and alumni have gone on to fame and fortune, the lab has acollaborative, friendly vibe. Perhaps because they study the SocialWeb, the researchers enjoy working together on flexible teams, andsharing the workload and the glory.He has been named ACM Fellow and IEEE Senior Member,and is founding co-editor-in-chief of the ACM Transactions onInteractive Intelligent Systems journal. He has co-authored BestPaper winners at the IUI, WikiSym (twice), CSCW, and DataEngineering conferences. Riedl has also received the MIT SloanSchool Award for Innovation in E-Commerce, the ComputerScience teaching award (four times) and the George Taylor Awardfor Exceptional Contributions to Teaching. Riedl has authoredover 100 publications, including one book, journal and conferencepapers, short articles and book chapters.Selected PublicationsDon’t Bite the Newbies: How Reverts Affect the Quantity and Qualityof Wikipedia Work , Halfaker, A.; Kittur, A.; Riedl, J. , WikiSym2011.WP:Clubhouse? An Exploration of Wikipedia’s Gender Imbalance,Lam, S.K.; Uduwage, A.; Dong, Z.; Sen, S.; Musicant, D.R.;Terveen, L.; Riedl, J., WikiSym 2011.Navigating the Tag Genome, Vig, J.; Sen, S.; Riedl, J. , InternationalConference on Intelligent User Interfaces, Palo Alto, CA, (2011).faculty biographies25

Stergios RoumeliotisStergios I. Roumeliotis received the Diploma in ElectricalEngineering from the National Technical University of Athens,Greece, in 1995, and the M.S. and Ph.D. degrees in ElectricalEngineering from the University of Southern California, CAin 1999 and 2000 respectively. From 2000 to 2002 he was aPostdoctoral Fellow at the California Institute of Technology,CA. He joined our department in 2002 and was promoted toAssociate Professor in 2008. Roumeliotis is the Associate Directorfor Research of the Digital Technology Center (DTC). Hisresearch interests include vision-aided inertial navigation of aerialand ground autonomous vehicles, distributed estimation undercommunication and processing constraints, and active sensing forreconfigurable networks of mobile sensors.S.I. Roumeliotis is the recipient of the Guillermo E. BorjaAward (2009), the National Science Foundation (NSF) PresidentialEarly Career Award for Scientists and Engineers (PECASE)(2008), the NSF CAREER award (2006), the McKnight Land-Grant Professorship award (2006-08), the ICRA Best ReviewerAward (2006), and he is the co-recipient of the One NASA Peeraward (2006), and the One NASA Center Best award (2006).Papers he has co-authored have received the King-Sun Fu BestPaper Award of the IEEE Transactions on Robotics (2009), theRobotics Society of Japan Best Journal Paper award (2007), theICASSP Best Student Paper award (2006), the NASA Tech Briefsaward (2004), and three of them were Finalists for the RSS BestPaper Award (2009), the ICRA Best Student Paper Award (2009)and the IROS Best Paper Award (2006). S.I. Roumeliotis served asAssociate Editor for the IEEE Transactions on Robotics between2006 and 2010.Selected PublicationsK. Zhou and S.I. Roumeliotis, “Multi-robot Active Target Trackingwith Combinations of Relative Observations,” IEEE Transactions onRobotics, 27(4), Aug. 2011, pp. 678-695.N. Trawny, X.S. Zhou, K.X. Zhou, and S.I. Roumeliotis, “Inter-robotTransformations in 3D,” IEEE Transactions on Robotics, 26(2), Apr.2010, pp. 226-243.A.I. Mourikis, N. Trawny, S.I. Roumeliotis, A. Johnson, A. Ansar, andL. Matthies, “Vision-Aided Inertial Navigation for Spacecraft Entry,Descent, and Landing,” IEEE Transactions on Robotics, 25(2), Apr.2009, pp. 264-280. King-Sun Fu Best Paper Award of the IEEETransactions on Robotics.Yousef SaadProfessor Saad’s research interests include sparse matrixcomputations, numerical linear algebra techniques for data mining,parallel algorithms, and eigenvalue problems. He was namedCollege of Science and Engineering Distinguished Professorin 2005. He is a Fellow of the AAAS and a Fellow of SIAM.Saad has authored or co-authored five books, 152 Journal articles,and more than 50 papers and book chapters. He is an editorfor the Electronic Transactions of Numerical Analysis (ETNA),and the Journal of Numerical Linear Algebra with Applications.Professor Saad’s research interests also include applications toproblems related to quantum mechanics. He has projects in DensityFunctional Theory (DFT) methods for determining electronicstructures and in Dynamical Mean Field Theory (DMFT)for highly correlated systems. These applications lead to largeeigenvalue problems of complex sparse matrix equations. Prof. Saadhas contributed numerical algorithms, for solving sparse linearsystems of equations and eigenvalue problems, along with theirtheoretical analyses. He has developed several software packagesfor sparse matrix computations. In the early 1990s he developedSPARSKIT, a package for performing various basic tasks withsparse matrices, and for solving sparse linear systems of equations.His most recent software contributions include ITSOL, a sequentialpackage which includes various preconditioners for solving linearsystems, and pARMS which can be viewed as the parallel versionof ITSOL. PARSEC, another package which he co-developedwith a multidisciplinary team over the span of over a decade, is acomprehensive code for performing electronic structure calculations.Selected PublicationsT. T. Ngo, M. Bellalij, and Y. Saad. “The trace ratio optimizationproblem.” SIAM Journal on Matrix Analysis and Applications,31:2950- 2971, 2010.Dario Rocca, Ralph Gebauer, Yousef Saad, and Stefano Baroni, “Turbocharging time-dependent density-functional theory with Lanczoschains,” The Journal of Chemical Physics, 128(15):154-105, 2008.Daniel Osei-Kuffuor and Yousef Saad. ``Preconditioning Helmholtzlinear systems”. Appl. Numer. Math., 60:420 -431, April 2010.26faculty biographies

Paul SchraterAssociate Professor Paul Schrater’s research interests involveprobabilistic models of perception, control and learning in man andmachine. His work involves both developing models and empiricallytesting them, studying both humans and artificial agents, usingpsychophysics, computation and brain imaging as methods. Currentresearch interests include the management of perceptual and motoruncertainty, active learning, optimal exploration behavior, andstructure learning in sequential choice tasks. He has published over50 journal and conference papers in these areas.Selected PublicationsP.W. Battaglia, P. Schrater, “Humans trade off viewing time andmovement duration to minimize visuomotor variability in a fastreaching task,” Journal of Neuroscience, 27 (26), 6984–6994. 2007.10D. Acuna, P. Schrater, “Structure Learning in Human SequentialDecision-Making,” 10 Advances 10 10 in Neural Information 10 10 ProcessingSystems 10 10 21. Cambridge, 10 10 10 MA: 10 MIT 10 Press, 10 2008. 10 10 10 1010P. Schrater, R. Sundareswara, “Theory and Dynamics of PerceptualBistability,” In B. Schoelkopf, 10 10 10 J. Platt, & T. 10 Hofmann 10 (Eds.),Advances 10 10in Neural 10 10 Information 10 10Processing 10Systems 10 19, Cambridge, 10 10MA: MIT Press. pp 1242–1249, 2006.Shashi ShekharShashi Shekhar, a Distinguished McKnight University Professor, isa leading researcher in the area of geographic information systems(GIS), spatial databases, and spatial data mining. For outstandingcontributions to these areas, he received the IEEE-CS TechnicalAchievement Award (2006) and was elected an IEEE Fellow(2003) as well as an AAAS Fellow (2008). He was also named akey difference-maker for the field of GIS by the most popular GIStextbook. He has a distinguished academic record that includes250+ refereed papers, a popular textbook on Spatial Databases(Prentice Hall, 2003) and an authoritative Encyclopedia of GIS(Springer, 2008). In early 1990s, his research developed coretechnologies behind in-vehicle navigation devices as well as webbasedrouting services, which revolutionized outdoor navigation inurban environment. His recent research results played a critical rolein evacuation route planning for homeland security and receivedmultiple recognitions including the CTS Partnership Award for0101010 10 10 10 10 10 10 10 101010 10 100101010 10 101010 10 10010101010101010101010100 100 100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10significant impact on transportation. He also pioneered the researcharea of spatial data mining via pattern families (e.g. collocation,mixed-drove10co-occurrence,10 10 10and 10cascade), 10keynote 1010speeches, surveypapers and workshop organization. Furthermore, he contributed10 10 10 10 10significantly to design of the UMN map server software for10 10 10 10publishing geographic data on10the10 10 10 1010 10WWW and the Crime-Stat 3.0software to identify spatial patterns in crime report datasets. His10 10 10 10recent geo-social media white-paper was discussed extensively inblogs (e.g.,10readwriteweb), 10science forums10 10(e.g., 10science360), tweetsand Facebook postings.01010101010101010101010101010101010010101010101010101010100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 1010 10 10 10 10 10 10 10 10 10 1010 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 100101010101010101010101010 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10010101010101010101010100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 100101010101010101010101010101010101010 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 100101010101010101010101010101010101010 10Selected PublicationsIdentifying patterns in spatial information: a survey of methods (withM. Evans, J. Kang and P. Mohan, Wiley Interdisciplinary Reviews:10 10 10 10 10 10 10 10 10Data Mining10and Knowledge Discovery, 193-214, 1(3), May/June2011. 10 10 10 10 10Evacuation Planning: A Spatial Network Database Approach (with10 10 10 10 10 10 10 10 1010X. Zhou, B. George, S. Kim, J. Wolff, and Q. Lu), IEEE Data Eng.Bulletin, 33(2): 10 26-31, 2010.10 10 10Spatial Databases 10 10(with 10J. 10 Kang), 10Wiley 10Encyclopedia 10 of Computer10Science and Engineering (Ed. Benjamin Wah), John Wiley and SonsInc, 2009. 10 10 10 10 10Encyclopedia 10of 10 GIS (Co-Ed. 10 10with 10H. 10 Xiong), 10Springer, 10102008, isbn978-0-387-30858-6.A Tour of Spatial Databases 10 10 10 (with S. Chawla), 10Prentice 10Hall, 2003,isbn 013-017480-7.faculty biographies10 10110 1012710

Jaideep SrivastavaProfessor Jaideep Srivastava directs the DMRG laboratory, focusingon research in Web Mining, Social Network Analysis, and HealthAnalytics. He has authored over 285 papers, and supervised 29Ph.D. dissertations and 58 M.S. theses. His research has beensupported by government agencies, including NSF, NASA,ARDA, DARPA, IARPA, NIH, CDC, US Army, US Air Force,and MNDoT; and industry, including IBM, United Technologies,Eaton, Honeywell, Cargill, and Huawei Telecom. He has an activecollaboration with Allina’s Center for Healthcare Innovation,where he is a Distinguished Fellow. Dr. Srivastava has significantexperience in the industry. He has led a data mining team atAmazon.com, and built a data analytics department at Yodlee. Hehas provided technology and strategy advice to Cargill, UnitedTechnologies, IBM, Honeywell, KPMG, 3M, TCS, and Eaton, andhas served as Advisor to the State Government of Minnesota andthe Government of India. He has held distinguished professorshipsat Heilongjiang University and Wuhan University, China. Dr.Srivastava has BTech from the Indian10Institute of Technology(IIT), Kanpur, India, and M.S. and Ph.D. 10 from the 10 University ofCalifornia, Berkeley. He is a Fellow of the Institute of Electricaland Electronics Engineers (IEEE),10and has been an IEEEDistinguished Visitor. He has given over 150 10 invited 10 talks in over30 countries, including more than a dozen keynote addresses atmajor conferences.Selected PublicationsShim, K. J., Pathak, N., Ahmad, M.10A., DeLong, C., Borbora, Z.,Mahapatra, A., Srivastava, J. “Analyzing Human 10Behavior fromMultiplayer Online Game Logs - A Knowledge Discovery Approach,”10IEEE Intelligent Systems (February 2011 Issue).Yonghong Tian, Jaideep Srivastava, Tiejun Huang, 10 10 Noshir Contractor:“Social Multimedia Computing,” IEEE Computer, 43(8): 27-3610(2010).Brian Keegan, Muhammad Aurangzeb Ahmad, 10 Dmitri 10 Williams,Jaideep Srivastava, Noshir Contractor.10“Sic Transit Gloria MundiVirtuali? Promise and Peril at the Intersection of ComputationalSocial Science and Online Clandestine Organizations”10 10The Third ACMWebSci Conference, Koblenz, Germany10June 14-17, 2011. (Best PaperAward).10 10Kuo-Wei Hsu, Nishith Pathak, Jaideep Srivastava, Greg Tschida, EricBjorklund, “Data Mining for Tax Audit10Selection,” Proceedings of theACM KDD Workshop on Data Mining Practice10and 10Case Studies,Paris, June 2008. (2nd prize Best Paper Award).Loren Terveen28faculty biographies10 10 1010 1010 10 1010 1010 10 10Professor Terveen specializes in Human-Computer Interaction andSocial Computing. He applies theories from the social sciences tocreate new interaction techniques and algorithms that elicit morepositive participation in online communities. He also does work tobring online and physically-based communities together, creatingmobile and web-based systems that let people share informationabout geographical places and areas. As part of this, he has led workto develop the first full-featured geographic wiki. Specific problemshe is working on include analyzing contribution to Wikipedia andimproving the Wikipedia user experience, facilitating bicycling andother “active living” options, and applying distributed collaborationto programming education. Terveen is a member of ACM andACM/SIGCHI10and is an ACM Distinguished Scientist. He hasled the major conferences 10 10 10 in his field, including 10 10 serving as generalco-chair for CHI 2002 and IUI 1998 as well as program co-chair10 10 10 10 10 10 10 10 10 10for CSCW102004 and 2013. He also10serves on the ACM SIGCHI 10Excecutive Committee. 10He 10 has served on 10 the editorial 10board forACM Transactions on CHI and Knowledge-Based Systems.10 10 10 10 10 10 10 10 10 10Other professional10service includes10membership on the SIGCHI10Publications Board 10 and Conference 10 Management 10 10 Committee,(2002-2004), and the ACM Special Interest Group on Artificial10 10 10 10 10 10 10 10 10 10Intelligence Vice Chair for conferences (1995-1999). Terveen 10alsohas served on numerous National Science Foundations Panels.10 1010 101011010 10 10 101010110 101010 101011010 10 10 1010Selected Publications10Priedhorsky, 10 R., and 10 Terveen, 10 10 L., “The Computational 10 10 10 Geowiki: What, 10101Why, and How,” Proceedings of the ACM Conference on Computer10 10 10 10 10 10 10 10 10 10 10 10 10 10 1010 1010Supported Cooperative Work, 2008.10Priedhorsky, 10 R., Chen, 10J., Lam, 10 10 A., Panciera, 10 K., Terveen, 10 10 L., and 1010110 10 Riedl, 10J., 10 “Creating, 10 Destroying, 10 10 10 and 10 Restoring 10 Value 10 10 in Wikipedia,” 10 10 1010 1010 10Proceedings of the ACM Conference on Supporting Group Work, 2007.10 10 Ludford, 10 10 P.J., Frankowski, 10 10 D., Reily, K., Wilms, 10K., 10 and Terveen, L., 1010110 10 “Because 10 10 I Carry 10My 10 Cell 10 Phone 10 Anyway: 10 10 Functional 10 10 Location-Based1010 10 10 10 10Reminder Applications,” Proceedings of the ACM Conference on10 10 10 10 Human Factors in 10 10 Computing 10Systems, 2006. 10 10 1010110 10 10 10 10 10 10 10 10 10 10 10 10 10 1010 110 10 10 10 10 10 10 10 10 10 1010110 10 10 10 10 10 10 10 10 10 10 10 10 10 1010 110 10 10 10 10 10 10 10 10 10 10 1010 10 10 10 10 10 10 10 10 10 10 10 10 10 1010 110 10 10 10 10 10 10 10 10 10 10 10 10 10 1010 10 10 10 10 10 10 10 10 10 10 1010 1010 10 10 10 110 10 10 10 10 10 10 10 10 10 10 10 1010 10 10 10 10 10 10 10 10 10 10 10 10 10 1010 1

Anand TripathiAnand Tripathi received his M.S. (1978) and Ph.D. (1980) inelectrical engineering from the University of Texas at Austin,and B.Tech (1972) from IIT Bombay. During 1981-84 he was aSenior Principal Research Scientist at Honeywell. He worked as aProgram Director at NSF during 1995-97. His research interestsare in highly available and scalable distributed systems, autonomicsystems, Cloud computing models, fault-tolerant computing,pervasive computing, and system security. Professor Tripathi isan IEEE Fellow and a member of the ACM. He served as anat-large member of the IEEE Computer Society PublicationsBoard. He also served on the editorial boards of IEEE PervasiveComputing, IEEE Transactions on Computers, IEEE DistributedSystems Online, and Elsevier Journal on Pervasive and MobileComputing. He served as a Program Vice Chair for InternationalConference on Distributed Computing Systems (ICDCS’1997),and as the Program Chair for the IEEE Symposium onReliable Distributed Systems (SRDS’2001) and for the SecondIEEE International Conference on Pervasive Computing andCommunications (PerCom’2004). He was one of the organizers oftwo workshops on exception handling at the European Conferenceon Object Oriented Programming, and co-editor for two SpringerLNCS volumes on this subject, published in 2002 and 2006.He was the principal organizer of the ACM OOPSLA’2000Workshop on mobile agent systems and IEEE ICSE’2007Workshop on Software Engineering for Pervasive ComputingApplications, Systems, and Environments (SEPCASE). He servedas a co-editor of two special issues of IEEE Transactions onSoftware Engineering (2000) on exception handling.PublicationsVinit Padhye and Anand Tripathi, “Building Autonomically ScalableServices on Wide-Area Shared Computing Platforms,” Proc. of theIEEE Symp. on Network Computing and Applications, 2011.Devdatta Kulkarni and Anand Tripathi, “A Framework forProgramming Robust Context-Aware Applications,” IEEETransactions on Software Engineering, March 2010.John Eberhard and Anand Tripathi, “Semantics-based Object Cachingin Distributed Systems,” IEEE Transactions on Parallel andDistributed Systems, December 2010.Devdatta Kulkarni and Anand Tripathi, “Context-Aware Role-BasedAccess Control in Pervasive Computing Systems,” ACM Symposiumon Access Control Models and Technologies (SACMAT), 2008.Eric Van WykAssociate Professor Van Wyk’s research is in programminglanguages, in particular extensible programming languagesand compilers. His research focuses on high-level declarativespecifications for programming language tools, such as compilersand optimizers, and the mechanisms for mapping thesespecifications into working tools. One area of interest is extensibleprogramming languages and compiler designs that allow newlanguage features to be imported into a language framework.These new features define their own syntax, semantics, andoptimizations. In such a system, programmers do not choose whichlanguage to use for a particular task, but instead choose which setof language features to use and import these features into theirprogramming environment thus creating a language specific totheir current problem domain. To support this work, Van Wyk andhis students have developed various software tools including Silver,an extensible attribute grammar system, and Copper, a integratedparser and context-aware scanner generator. They have used thesesystems to build extensible specifications of Java 1.4 and ANSIC and various domain-specific language extensions for these andother languages.He was awarded a McKnight Land-Grant Professorship in2005 and the National Science Foundation’s CAREER awardin 2004. Van Wyk has served on several program committees,is on the steering committee of the International Conferenceon Software Language Engineering, and was a PC co-chair forthe first instance of that conference in 2008. Van Wyk also doesoutreach, serving as an undergraduate mentor and as a memberof the St. Louis Park High School Business and InformationTechnology Advisory Board.Selected PublicationsAugust Schwerdfeger and Eric Van Wyk, “Verifiable Compositionof Deterministic Grammars,” Proceedings of ACM SIGPLANConference on Programming Language Design and Implementation,PLDI, 2009. ACM Press.Eric Van Wyk, Lijesh Krishnan, August Schwerdfeger and DerekBodin, “Attribute Grammar-based Language Extensions forJava,” Proceedings of European Conference on Object OrientedProgramming, ECOOP 2007, Lecture Notes in Computer Science,volume 4609, Springer Verlag.David Lacey, Neil D. Jones, Eric Van Wyk and Carl ChristianFrederiksen, “Proving Correctness of Compiler Optimizations byTemporal Logic,” Proceeding of 29th ACM Symposium on Principlesof Programming Languages, POPL 2002, 2002. ACM Press.faculty biographies 29

Jon WeissmanProfessor Weissman specializes in distributed systems and highperformance computing. His specific interest is the developmentof techniques (algorithms, middleware, systems) to supportapplications running on mobile distributed systems including Grids,peer-to-peer, and Cloud infrastructures. His research is concernedwith the development of scheduling techniques to meet theperformance and reliability constraints of networked applications.He is a Senior Member of IEEE.Selected Publications“A Scheduling and Certification Algorithm for Defeating Collusion inDesktop Grids” Louis-Claude Canon, Emmanuel Jeannot, and JonB. Weissman 31st IEEE International Conference on DistributedComputing Systems (ICDCS), Minneapolis, MN, June 2011.Adam Barker, Jon B. Weissman and Jano van Hemert, “EliminatingThe Middleman: Peer-to-Peer Dataflow,” 17th IEEE InternationalSymposium on High Performance Distributed Computing (HPDC),2008.Jason D. Sonnek, Abhishek Chandra, and Jon B. Weissman,“Adaptive Reputation-Based Scheduling on Unreliable DistributedInfrastructures,” IEEE Transactions on Parallel and DistributedSystems, 18(11), 2007.“Using Data Accessibility for Resource Selection in Large-scaleDistributed Systems” Jinoh Kim, Abhishek Chandra and Jon B.Weissman IEEE Transactions on Parallel and Distributed Systems(TPDS), Volume 20(6), pp 788-801, June 2009.Pen-Chung YewProfessor Yew’s main research effort is on the design of futuregenerations of high-performance and low-power computersystems, which include both microprocessors and multiprocessors.He is interested in issues related to their machine architectures,programming models, compilation techniques and system software.In the design of future generations of microprocessors, he isfocusing on multi-threaded, multi-core architectures that exploitboth thread-level and instruction-level parallelism possibly withspeculation support to achieve high performance with reducedpower consumption. The targeted systems span from large-scaleparallel machines to application-specific embedded systems. Hiscompiler effort is focused on a profile-based approach that supportsboth medium-grained (loop iteration-level) and fine-grained(instruction-level) parallelism with speculation, low power andlatency hiding schemes. His research is focused on both static (atcompile time) and dynamic (at runtime) compilation techniques.He also focuses on binary translation techniques that supportcross-platform execution. Another area of interests is on newparallel programming models that support domain experts for theirspecific applications. System software research currently focuses onoperating system support for multi-core embedded systems, and onsupporting virtualization for various applications.He uses an experimental approach to those design issues withon-going development of compiler and architectural simulationinfrastructure to support our research effort.Selected PublicationsV. Packirisamy, Y. Luo, W.L. Hung, A. Zhai, P.C. Yew, T.F. Ngai,“Efficiency of Thread-Level Speculation in SMT and CMP Architectures– Performance, Power and Thermal Perspective,” Proceedings of IntlConference on Computer Design (ICCD), 2008.D.Y. Hong, et al, “HQEMU: A Multi-Threaded and RetargetableDynamic Binary Translator on Multicores,” Proc. of the 10th annualIEEE/ACM Int’l Symp. on Code Generation and Optimization(CGO), March, 2012.J.Lin, W.C. Hsu, P.C. Yew, R.D.C. Ju, and T.F. Ngai, “RecoveryCode Generation for General Speculative Optimizations,” ACMTransactions on Architecture and Code Optimization, Vol.3, No.1,2006, pp 67–89.30faculty biographies

InstructorsPhilBarryPhil Barry hasbeen active inundergraduateeducation in thedepartment, college,and universitysince 1989. Heteaches a varietyof courses from anumber of areas in computer science. He has also served as thedepartment’s Director of Undergraduate Studies from 2004-2006,Phil participated in the college’s freshman and sophomore advisingprogram for approximately ten years, being the department liaisonto the University’s College of Continuing Education, being a facultyWriting Consultant for the University’s Writing Program, andserving as the department TA supervisor.ChrisDovolisChris Dovolis’sbackground isin local areanetworks andhigh performancecomputing. Hiscurrent interests arein programminglanguages andcomputer scienceteaching methods. Dovolis says that the early required coursesfor computer science majors are his favorites. Key topics include:program design and methodology, data representations, objectoriented programming, and data structures—using functional,as well as, procedural approaches. His other courses includeprogramming languages and software systems. In addition toteaching, Dovolis is active in advising upper division computerscience students and conducting freshman orientation and lowerdivision advising for College of Science and Engineering students.SteveSteveJensenCarlSturtivantJensen currentlyteachs theintroductory C++programming classesfor Engineers andScientists. Hisresearch involvesthe development ofbiologically plausibletheories andcomputational models of learning and cognition. He is particularlyinterested in the challenging problem of “online learning” inwhich the subject/agent must learn in real-time while successfullynavigating a dynamic environment. This work represents an attemptto construct a theoretical framework and computational models thataddress the central issues regarding humans’ basic ability to bothrapidly and accurately learn complex temporal sequences and formpredictive models of the world.Carl Sturtivantteaches discretemathematics,algorithms & datastructures, automatatheory, computability,complexity theory atboth undergraduateand graduate levels,and also internet & network programming as well as beginningprogramming in various languages. He also supervises someindependent study and undergraduate projects. Additionally hecoaches the intercollegiate programming contest teams for theregional (and occasionally international final) contest. Sturtivant hasbeen repeatedly voted Best Computer Science Professor by Collegeof Science and Engineering students.Baylor Wetzel worksBaylorat the intersectionWetzelof psychology andcomputer science.He studies howhumans learn andmake decisions anduse that data to buildcomputer simulationsof this behavior and improve existing artificial intelligencetechniques. He also does research in non-psychological aspects ofvideo game artificial intelligence. In addition to teaching artificialintelligence, he is the department’s writing consultant.32Instructor biographies

Graduate information2010-2011Doctorates BestowedAmrudin AgovicAdvisor: Arindam Banerjee, Maria GiniDissertation Title: Predictive ModelingUsing Dimensionality Reduction andDependency Structures.Employer: ReliancyStefan Emilov AtevAdvisor: Nikolaos PapanikolopoulosDissertation Title: Using Asymmetryin the Spectral Clustering ofTrajectories.Employer: Vital ImagesShyam BoriahAdvisor: Vipin KumarDissertation Title: Time Series ChangeDetection: Algorithms for Land CoverChange.Employer: Research Associate – UMNMichael David CardosaAdvisor: Abhishek ChandraDissertation Title: ResourceManagement for Applications inLarge-Scale Systems.Employer: GoogleDavid Eric Chan-TinAdvisor: Nicholas HopperDissertation Title: Secure and AccurateNetwork Coordinate Systems.Employer: Oklahoma State UJie ChenAdvisor: Yousef SaadDissertation Title: Numerical LinearAlgebra Techniques for EffectiveData Analysis.Employer: Argonne Natl LabsJilin ChenAdvisor: Joseph Konstan, John RiedlDissertation Title: PersonalizedRecommendation in Social NetworkSites.Employer: IBM ResearchTong ChenAdvisor: Pen-Chung YewDissertation Title: Memory Profilingand Management.Employer: IBMChi Yin ChowAdvisor: Mohamed Mokbel, Tian HeDissertation Title: Privacy-PreservingLocation-based Services.Employer: City University of Hong KongVassilios ChristopoulosAdvisor: Paul Schrater, ApostolosGeorgopoulosDissertation Title: Characteristicinformation required for humanmotor control: Computationalaspects and neural mechanisms.Employer: CalTech (post doc)Yu GuAdvisor: Tian HeDissertation Title: Sleipnir: A VersatileExtremely Low Duty-Cycle SensorNetwork.Employer: Singapore University ofTechnology and Design34 graduate informationRohit GuptaAdvisor: Vipin KumarDissertation Title: Data Mining forDiscovery of Clinical and GenomicDisease Markers.Employer: GenentechBrett Robert HemesAdvisor: Nikolaos PapanikolopoulosDissertation Title: Locomotion of SerialMultiply-Actuated Tumbling Robots.Employer: 3MKuo-Wei HsuAdvisor: Jaideep SrivastavaDissertation Title: Improving BaggingPerformance through Multi-Algorithm Ensembles.Employer: Natl Chengchen UniversityTae Hyun HwangAdvisor: Rui KuangDissertation Title: Networkbasedlearning algorithms forunderstanding human disease.Employer: UMN Cancer CenterSourabh JainAdvisor: Zhi-Li ZhangDissertation Title: Creating Scalable,Efficient and NamespaceIndependent Routing Framework forFuture Networks.Employer: CiscoSteven JensenAdvisor: Maria Gini, Paul SchraterDissertation Title: Learning in DynamicTemporal Domains Using ContextualPrediction Entropy as a GuidingPrinciple.Employer: Instructor, UMNYu JinAdvisor: Zhi-Li ZhangDissertation Title: TacklingManagement Problems in Large-Scale Operational Networks viaStatistical Learning.Employer: AT&T Research LabsAjay Jayant JoshiAdvisor: Nikolaos PapanikolopoulosDissertation Title: Image Classificationwith Minimal Supervision.Employer: GoogleHun Jeong KangAdvisor: Yongdae Kim and Nick HopperDissertation Title: Secure and RobustOverlay Content Distribution.Employer: US BankJames KangAdvisor: Shashi ShekharDissertation Title: Spatio-TemporalData Mining for EnvironmentalScience.Employer: USDOD National Geospatial-Intelligence AgencyMohamed ElBassiony Mohamed Abo-El Alaa KhalefaAdvisor: Mohamed MokbelDissertation Title: Preference QueriesProcessing over Imprecise Data.Employer: Alexandria UniversityJinoh KimAdvisor: Jon Weissman, AbhishekChandraDissertation Title: Data Disseminationfor Distributed Computing.Employer: Lawrence Berkeley NationalLabJustin LevandoskiAdvisor: Mohamed MokbelDissertation Title: ExtensiblePreference Evaluation in DatabaseSystems.Employer: Microsoft ResearchYangchun LuoAdvisor: Antonia ZhaiDissertation Title: ExploitingParallelism in Multicore Processorsthrough Dynamic Optimizations.Employer: SeaMicroTim MillerAdvisor: William SchulerDissertation Title: Generative Modelsof Disfluency.Employer: UW MilwaukeeMaitreyi NanjanathAdvisor: Maria GiniDissertation Title: Repeated Auctionsfor Robust Task Execution by a RobotTeam.Employer: AmazonGetiria OnsongoAdvisor: John Carlis, Tim GriffinDissertation Title: IdentifyingCandidate Salivary Oral CancerBiomarkers: Accurate proteinquantification and analysis on LTQtype mass spectrometers.Employer: UMN Cancer CenterGaurav PandeyAdvisor: Vipin KumarDissertation Title: Data MiningTechniques for Enhancing ProteinFunction Prediction.Employer: Mt. Sinai School of MedicineMyung-Hwan ParkAdvisor: Mats HeimdahlDissertation Title: An Approach forOracle Data Selection Criterion.Employer: Korean Air ForceReid Royer PriedhorskyAdvisor: Loren TerveenDissertation Title: The Value ofGeographic Wikis.Employer: Los Alamos National LabBrian Thomas RiesAdvisor: Victoria InterranteDissertation Title: Facilitating EffectiveVirtual Reality for ArchitecturalDesign.Employer: General DynamicsAugust SchwerdfegerAdvisor: Eric Van WykDissertation Title: Context-AwareScanning and Determinism-Preserving Grammar Composition, inTheory and Practice.Employer: Adventium LabsEsam Ahmed SharafuddinAdvisor: Zhi-Li ZhangDissertation Title: Providing NetworkProfiling and Tracking Utility in LargeDistributed Systems.Employer: Robins, Kaplan, Miller &Ciresi, LLPClement ShimizuAdvisor: Gary MeyerDissertation Title: Computer AidedDesign for Color Appearance.Employer: ElumenatiMatthew James StaatsAdvisor: Mats HeimdahlDissertation Title: The InfluenceOf Multiple Artifacts on theEffectiveness of Software Testing.Employer: KAISTAhmet Onur TekdasAdvisor: Volkan IslerDissertation Title: ImprovingCommunication in NetworkedSystems using Mobile Robots.Employer: GoogleNikolas TrawnyAdvisor: Stergios RoumeliotisDissertation Title: CooperativeLocalization: On motion-inducedinitialization and joint stateestimation under communicationconstraints.Employer: Jet Propulsion Lab, NASAEugene VassermanAdvisor: Nick Hopper, Yongdae KimDissertation Title: Towards freedom ofspeech on the Internet: Censorshipresistantcommunication andstorage.Employer: Kansas State UniversitySheng-Wen WangAdvisor: Victoria InterranteDissertation Title: EffectivelyIdentifying and SegmentingIndividual Vortices in 3D TurbulentFlow.Employer: UMN Animal ScienceShana WattersAdvisor: Maria Gini, Jeanette GundelDissertation Title: Building a ReferenceResolution System Using HumanLanguage Processing for Inspiration.Employer: Augsburg CollegeStephen Tze-Inn WuAdvisor: William SchulerDissertation Title: VectorialRepresentations of Meaning for aComputational Model of LanguageComprehension.Employer: Mayo ClinicZiguo ZhongAdvisor: Tian HeDissertation Title: Range-freeLocalization and Tracking in WirelessSensor Networks.Employer: Microsoft ResearchTing ZhuAdvisor: Zhi-Li Zhang, Tian HeDissertation Title: Sustainable andEfficient Energy Management forMobile and Networked Systems.Employer: UMass Amherst

Listing reflects grants active during period of report.researchfundingNSF Banerjee 2008 Multi-Relational Data Clustering with Probabilistic Mixture Models $399,600Banerjee, Boley 2009 Statistical Modeling of Dynamic Covariance Matrices $455,000Banerjee 2010 CAREER Combinatorial Online Learning and Its Applications $495,804Boley 2005 Effective Learning by Leveraging Supervised and Unsupervised Techniques $220,823Chandra 2007 CAREER: Self-Managing Resource Allocation in Unsupervised Distributed Systems $416,000Du 2009 A Multi-University I/UCRC Center on Intelligent storage $625,999Du 2009 Data Deduplication with Special Consideration of Data Chunk Frequency $300,000Du 2010 Predictable Delivery for Large-Scale-Real-Time-Applications $224,999Du 2011 Efficient FTL Buffer Management for High Performance Solid State Drives $130,000Du 2009 A Multi-University I/UCRC Center Center on Intelligent Storage $38,887Du and collaborators 2011 Integrating Flash and Phase Change Memory into Memory/Storage Hierarchies forEnhancing High-End and Data-Intensive ComputingGini 2005 Extending the Next Generation Robot Laboratory to Increase Diversity inUndergraduate CS ProgramsHe 2006 NeTS-Noss: Essentia: Architecting Sensor Systems with Asymmetric FunctionPlacement and reflective Composition$199,427$57,444$493,488He 2006 NeTS-Noss: The Sensor Network Development and Deployment Studio $288,000He 2007 Multi-Level Heterogeneity in Large-Scale Cyber-Physical Systems $170,000He 2009 CAREER: Energy Synchronized Computing in Sustainable Sensor Networks $449,999He 2009 Addressing Research Challenges in Low-Duty-Cycle Wireless Sensor Networks $327,590He 2011 Autonomous Failure Detection & Recovery in Networked Embedded Systems $75,000Heimdahl 2009 Embedded Fault Detection for Low-Cost Safety Critical Systems $226,710Heimdahl and collaborators 2010 Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems $728,415Hopper 2006 CAREER: Practice-Oriented Provably-Secure Information Hiding $422,000Hopper, Kim, Zhang 2008 A Framework for Trustworthy Cooperative P2P Applications $222,000Hopper, Kim 2009 Scalable Censorship Resistant Overlay Networks $499,995Hsu, Zhai, Yew 2008 Dynamic Runtime Optimization and Adaptation for High Performance and PowerManagement on Multi-Core Processors$160,000Interrante andcollaborators2006 Efectively Harnessing Virtual Environments Technology for Visualization and Design $462,458Isler 2008 Pursuit-Evasion Games with Complex Systems in Complex Environments $103,220Isler 2009 CAREER: Mobility Control for Robotic Sensor Networks $437,964Isler 2008 Research/ Education Infrastructure Based on Modular Miniature Robot Teams $354,715Isler 2009 Game Theoretic Coverage and Connectivity Services $382,001Isler and collaborators 2011 A Robotic Network for Locating and Removing Invasive Carp from Inland Lakes $1,060,124Karypis and collaborators 2008 Functional Genomics of Nectar Production in Brassicaceae $2,238,280Karypis and collaborators 2009 Computational Methods to Advance Chemical Genetics by Bridging Chemical andBiological SpacesKarypis, Whalen 2010 Software Infrastucture for Partitioning Sparse Graphs of an Existing and EmergingComputer ArchitectureKeefe 2011 CAREER: Picturing Motion: Analyzing Multidimensional Time-varying Data throughperceptually Accurate Exploratory Visualizations$854,732$499,784$483,027continued on next pageresearch funding35

NSF Kim 2006 2005 CAREER: Integratated Reconsidering Infrastructure Security for Secure for Storage and Efficient and Distributed Long-Term File Data Systems Management $395,487 $400,001continued on next page36 research fundingKonstan 2010 Social Computational Systems Doctoral Symposium$42,670Konstan, Riedl, Terveen 2003 Designing Online Communities to Enhance Participation--Bridging Theory and Practice $1,264,017Konstan, Riedl 2006 Enhanced Digital Libraries through Recommendation:Exploring the use of citations,personal bibliographies, and metadata to synthesize library services for individuals$500,000Konstan and collaborators 2008 Understanding and Supporting Online Question- Answering Sites $333,385Kuang 2011 Network Learning for Integrative Cancer Genomics $500,000Kumar 2009 Computing with Protein-Based Associative Memory Processors $75,000Kumar 2006 CRI-Scalable Benchmarks, Software and Data for Data Mining, Analytics and ScientificDiscoveries$180,000Kumar 2009 Generalization of the Association Analysis Framework $531,996Kumar, Steinbach 2007 Collaborative Research: Spatio-Temporal Data Mining For Global Scale Eco-ClimaticData$297,982Kumar, and collaborators 2010 Understanding Climate Change: A Data Driven Approach $6,432,261Meyer, and collaborators 2009 Computer Aided Design of Nanostructured Optical Materials $672,577Mokbel 2008 Towards Ubiquitious Location Services: Scalability and Privacy of Location Base $465,976Mokbel 2008 Preference-and Context-Aware Query Processing for Location Based Data Servers $253,987Mokbel 2010 CAREER: Extensible Personalization of Spatial and Spatio-temploral DatabaseManagement Systems$530,000Myers, and collaborators 2009 Mathematical Modeling of the Arabidopsis Defense Signaling Network $147,943Myers 2010 CAREER: Computational Tools for Fundamental Characterization and interference ofGenetic Interaction Networks$571,952Nadathur 2009 Reasoning about Specifications of Computation $568,093Papanikolopoulos, Gini andcollaborators2003 Multi-Robot Emergency Response $1,860,825Papanikolopoulos 2007 Algorithms and Software/Hardware Infrastructure for Distributed Miniature Robots $1,769,125Papanikolopoulos, He 2007 Research/Education Infrastructure Based on Modular Miniature Robot Teams $567,161Papanikolopoulos, VanWyk, Heimdahl andcollaborators2008 Development of a Vision-based Real-Time Body Motion Tracking Instrument forAdvanced Radiation Treatment$256,000Papanikolopoulos 2010 Theory and Experiments with Tumbling Robots $457,995Papanikolopoulos 2010 A New Miniature Ground/Water Robot $120,000Papanikolopoulos andcollaboratorsPapanikolopoulos andcollaboratorsPapanikolopoulos andcollaboratorsPapanikolopoulos andcollaboratorsPapanikolopoulos andcollaborators2010 Swarms of Robotic Aquapods to Assess Impact of Oil Spills on Marshlands $174,2752010 Computational Tools for Behavioral Analysis or Diagnosis and Intervention of at RiskChildren2010 Development of a Video-Based Robotic Instrument for Behavioral Analysis andDiagnosis of At-Risk Children$806,324$1,961,2082011 A Testing Methodology and Testbed for Miniature Robots $79,9692011 Robotic Systems for Disaster Assessment and Disaster Relief $54,996Riedl 2007 Solving Critical Problems in Online Groups $237,761Riedl, Konstan, Terveen andcollaborators2008 Understanding Online Volunteer Communities: Toward Theory-Based Design $1,854,737Riedl 2010 Net Fishing: Pulling Valuable Tweets, Feeds, and Blogs from Online Message streams $499,999Riedl 2010 Information Farming: Intelligent Interface for an Online Production Community $375,000Riedl 2011 Supporting Newcomer Socialization in Online Production $301,135Roumeliotis 2007 CAREER: Distributed Estimation and Active Sensing with Mobile Robot Networks $581,998Roumeliotis 2008 Motion Induced Extrinsic Calibration of Rigid and Reconfigurable Networks of Sensors $397,999Roumeliotis 2008 Cyber Enhancement of Spatial Cognition for the Visually Impared $395,001

NSF Saad 2008 Numerical Linear Algebra and Approximation Theory Methods for Efficient DataExploration$275,505Saad 2009 Computational Tools for Discovery and Design $346,145Saad 2009 Development of Efficient Petascale Algorithms for Inhomogeneous QuantummechanicalSystems$375,000Schuler 2005 CAREER: Integrating Denotational Meaning Into Probablistic Language $500,000Shekhar and collaborators 2007 Spatio-temporal Graph Databases for Transportation Science $449,994Shekhar and collaborators 2008 Non-equilibrium Dynamics Across Space and Time: A common approach for engineers $1,542,656Srivastava 2007 DHB Virtual Worlds: An Exploration for Theorizing and Modeling the Dynamics ofGroup Behavior$145,168Srivastava andcollaborators2009 Embedded Fault Detection for Low-Cost, Safety-Critical Systems $229,407Terveen 2005 Mining Spatiotemporal Data: From Personal Use to Community Knowledge $456,070Terveen, Riedl 2010 Guiding Folksonomy Development to Enable Novel Tagging Applications $965,788Tripathi, Mokbel, Shekhar 2007 Infrastructure for Research in Spatio-Temporal and Context-Aware Systems andApplications$140,403Tripathi 2008 System Architecture for Resilient Internet Services $132,000Van Wyk, Kumar, Steinbach 2009 Extensible Language and Library Frameworks for Scalable and Efficient Data-IntensiveApplicationsVan Wyk 2010 Extensible Languages for Sustainable Development of High Performmace Software inMaterial Science$762,000$300,000CivilianResearch andDevelopmentFoundationWeissman, Chandra2009One Thousand Points of Light: Accelerating Data-Intensive Applications By Proxy $482,000Zhai, Yew 2008 Dynamic Runtime Optimization and Adaptation for High Performance and PowerManagement on Multi-Core Processors$410,000Zhai, Heimdahl 2009 In Vivo Software Monitoring: Architectural and Compiler Support $499,271Zhai, Heimdahl, Srivastava,and collaborators2009 Embedded Fault Detection for Low-Cost, Safety-critical systems $226,710Zhang 2006 Behavior Modeling for Internet Traffic $300,000Zhang 2006 NeTS-FIND: A Framework for Manageability in Future Routing Systems $250,000Zhang 2007 NeTS-FIND: On the Economic Viability of Network Architecture $550,000Zhang 2009 Towards Versatile and Programmable Measurement Architecture for Future Networks $200,000Zhang 2010 VIRO Highly Scalable, Robust and Namespace Independent Routing $436,000Zhang, Banerjee 2010 Spatio-Temporal Network Traffic Dynamics and Interactions of Social-TechnicalNetworks$516,000Zhang 2011 Understanding, Managing and Troubleshooting the Evolving Cellular Data Network $300,000Other Government AgenciesPapanikolopoulos 2008 Placing Assets to Maximize Task Observability $299,241Dept of Defense Morellas 2011 Enhanced Surveillance and Tacking Solution TWSG Task PS $82,162Roumeliotis andcollaborators2010 Control of Heterogeneous Autonomous Sensors for Situational Awareness $1,241,071Roumeliotis 2010 Collaborative Robust Integrated Sensor Positioning (CRIS) $589,265Shekhar 2009 Cascade Models for Multi-Scale Spatio-Temporal Pattern Discovery $150,000Srivastava 2008 Virtual Worlds: An Exploratorium for Theorizing and Mode $128,905Srivastava 2009 The Virtual World Observatory: Identifying Real World Characteristics from VirtualBehavior$454,096Srivastava 2011 Phase 2: The Virtual World Observatory $394,079Zhang 2009 Towards a Theory for Network Robustness and Inter-Dependence Under Attacks $749,999continued on next pageresearch funding37

Dept ofEducationGini 2006 GAANN Fellowships to Promote Diversity in Computer Science $383,181Gini 2010 GAANN To Promote Diversity in Computer Science $393,795Dept of Energy Karypis 2010 Enabling Scientific Discovery in Exascale Simulations $459,000DHSDept ofTransportationSaad 2008 Robust Parallel Iterative Solvers for Linear and Least-Squares Systems $405,177Saad and collaborators 2009 Theory and Simulation of Defects in Oxide Materials $450,000Morellas,Papanikolopoulos2004 Monitoring Human Activities at Mass Transit Sites $889,053Zhang 2009 Towards a Theory for Network Robustness and Inter-Dependence under Attacks $749,999Papanikolopoulos 2008 Counting Empty Parking Spots at Truck Stops Using Computer Vision $80,000Papanikolopoulos 2010 University Transportation Centers $78,390Papanikolopoulos andcollaborators2010 University Transportation Centers: Monitoring the Use of HOV Lanes $98,000NIH Carlis 2007 Characterizing Oral Cancer Progression via Saliva Proteomics $381,467Karypis 2005 Classification Algorithms for Chemical Compounds $1,143,991Konstan and collaborators 2008 Gender Identity and HIV Risk $51,720Konstan and collaborators 2009 Understanding Effects of Web-based Media on Virtual Populations $52,364Konstan and collaborators 2006 Structural Factors to Lower Alcohol-Related HIV Risk $236,589Konstan and collaborators 2001 Men's INTernet Study II (MINTS-II) for HIV Prevention $148,083Kuang 2008 Statistical Model Building for High Dimensional Biomedical Data $106,974Myers 2010 Mapping the Reference Genetic Network of a Eukaryotic Cell $134,335Terveen and collaborators 2009 An Interactive Website to Promote Condom Use Among Adolescents $236,589NASA Kumar 2009 Algorithms for Forest Cover Change Detection Using MODIS $80,000NationalAcademiesNatl. GeospacialIntelligenceAgencyHeimdahl 2006 Advanced Requirements Modeling and Analysis, Advanced Testing Techniques $166,947Heimdahl 2009 Generating Tests to Satisfy Comples Test Adequacy Coverage of Models $160,425Srivastava 2008 Detecting Anomalies from Numeric and Textual Data Using Data Mining $994,859Keefe 2011 Intelligent Interactive Imaging Coupling Smart Spatial Visualization Interface with RealTime Second-Harmonic Generation Microscopy$75,000Shekhar 2007 Spatio-temporal Pattern Mining for Multi-Jurisdiction Multi-Temporal Activity Datasets $750,000Shekhar 2008 Purpose-Aware Dynamic Graph Data Models for Representing and Reasoning aboutNetworksNCAT/NOAA Kumar 2006 NOAA Interdisciplinary Scientific Environmental Technology (ISET) CooperativeResearch and Education Center$450,000$ 440,000State of MN Kuang 2007 Mining Genetic Determinants of Human Disease $ 100,000Terveen 2010 Bike, Bus and Beyond: Extending Cyclopath $60,627Terveen 2009 Cycloplan Project $185,000Terveen 2011 Cycloplan $71,350USDA Kuang and collaborators 2011 Regulation of SHB1 on Canola Seed Development and Seedlings $201,259KoreanInst of Scienceand TechKim 2010 Security of Convergent Communication Systems $90,088Kim 2011 Security of Convergent Communication Systems $90,046continued on next page38research funding

IndustryAdventium Labs/ USDOD DARPAAndrewW. MellonFoundationVan Wyk 2010 Formal Unified System Engineering Development (FUSED) $98,077Riedl and collaborators 2009 EthicShare Program Development $34,137AT&T Terveen 2007 Collaborative Filtering and Intelligent Interface Design for Enhanced TV Applications $95,000Zhang 2010 Human Mobility Modeling $10,000BBNTechnologiesSrivastava 2009 Network Science Collaborative Technology Alliance $480,707BereaBostonScientific /SCIMEDCenters forDisease Control& PreventionElectronicsResearch Inst.Srivastava 2011 Phase 2: Network Science Collaborative Technology Alliance $63,765Papanikolopoulos,Gini, Roumeliotis, andcollaborators2004 The Development of a New Generation of Miniature Search/Rescue Robots $650,000Keefe and collaborators 2011 Interactive Multi-Touch Display Table and 3D Model Viewer $31,909Srivastava andcollaborators2009 PEDS Adolescent Health $28 ,897Kim 2009 Case Studies on Botnet-Infection Assessment $20,000Ford Meyer 2010 Virtual Tools for Color and Trim Selection $120,000Freytag & CoLLC/DARPAPrimeBoley and collaborators 2008 Robust Self-Forming Human Networks: Making Organizations Work $225,000Genentech Inc Karypis and collaborators 2009 Discerning Pivotal High Productivity Characteristics Through Regognition of Patternsin Process Data$120,000IBM Banerjee 2010 Joint Study Agreement - Research in the area of time service $6,000He 2011 Platform for Mobile Crowd-sensing $100,000InterDigitalCompanyHe 2010 Power Optimized Hardware and Protocol Design for Low-Duty-cycle wireless Networks $103,958Microsoft He 2008 Energy Profiling and Accounting for mPlatform $60,000Medtronic Interrante 2006 Visualization Methods for Implantation of Cardiac Leads for Pacing and Defibrillation $379,518Kumar 2009 Using Data Mining to Improve Clinical Decisions Support $40,000Narus Zhang 2010 Internet Traffic Analysis and Security $20,000Zhang 2011 Mobile Network Data Analysis $10,000Planetary SkinInstituteKumar 2009 Global Land Use Change $2,472,000Rockwell CollinsInc.SemiconductorRes CorpWhalen 2010 Application of Guardol Technology $42,992Whalen 2010 Meta II - Formal Analysis of Architectural Design Pattern $115,562Whalen 2011 Application of Guardol Technology $21,496Zhai and collaborators 2008 Integrated Layout and Architectural Design for Multicore Platforms $165,000Sprint Zhang 2010 Internet Traffic Analysis and Security $75,000SOM/Mayo Myers 2010 Minnesota Partnership for Biotech and Medical Genomics $915,508research funding39

EventsRegional Alumni EventsCS&E continues to host its annual Bay Area alumni event at theComputer History Museum in Mountain View, California. Recentspeakers in 2010 and 2011 were Dan Cosley, Assistant Professorat Cornell and Branislav Vajdic, Vice Chairman and Founder ofNewCardio. The department also hosted its first Seattle AlumniEvent in October of 2010.8th Open House and Tech ForumCS&E welcomed alumni, students, and industry in October2011 for our 8th biennial Open House and Tech Forum. Thesuccessful event had nearly 350 registered guests and more than 65exhibits from student, faculty and industry research projects. TheDepartment started the half-day event with a welcome from DeanCrouch and CS&E Department Head Vipin Kumar’s State of theDepartment address. The 2011 Department of Computer ScienceDistinguished Alumni Award was presented to Honeywell FellowKevin Driscoll for his 40+ years of work in safety critical systems.Two floors of Keller Hall were dedicated to poster exhibits fromCS&E faculty, students and industry partners such as Microsoft,Thomson Reuters, IBM, CISCO, and 3M. IBM Fellow KerrieHolley provided the keynote address on the future of Watson. Inthe afternoon, attendees were invited back to the building for aspecial panel discussion on cloud computing. Associate ProfessorsAbhishek Chandra and Jon Weissman with Professor David Duspoke with industry representatives Marc Coyle (Senior VicePresident, Appirio) and Christopher Dickson (Symantec) aboutthe current state and the future of cloud computing.Annual CodeFreezeConferenceThe University of Minnesota’sSoftware Engineering Center hostsits annual CodeFreeze conference atthe McNamara Alumni Center eachJanuary. Code Freeze 2010 focused onthe overlap and overlay of design anddevelopment and the 2011 centeredon software testing for the 21stcentury. The conference combinestalks, workshops, and sessions wherethe speakers field audience questions.CS&E Hosts Inaugural MinneWICConferenceAssociate Department Head Maria Gini organized MinneWIC2010, a regional meeting of women in computing in 2010 in KellerHall. MinneWIC, the first upper Midwest celebration of Womenin Computing, brought together high-school and college students,high-school teachers, faculty, and professionals interested in computingto share experiences and strategies for success, to inspirestudents, and to discuss the role of women in the computing field.The conference included programming and poster contests, keynote,talks and panelist discussions.Launch of the Tech Talk SeriesIn 2010, the Department launched the Tech Talk series. EachTech Talk brings together students and employers for lunch timetalks focusing on the work happening in local industry. The seriesprovides a recruiting and networking opportunity for students andemployers. Participants from local industry have included Microsoft,3M, Thomson Reuters, SuperValu, TATA Consulting and more.40 EVENTS

Industry PartnersComputer Science AssociatesSince the 1970s, members of the Computer ScienceAssociates (CSA) have lent their expertise to thedepartment and provided crucial input on industrytrends to help create a top-notch computer scienceand engineering department. The group is comprisedof industry leaders who focus on: examining issuesrelative to department programming; advising, assisting,and supporting the Department Head in identifyingthe needs of Minnesota business and industry, citizensof the region, and society as a whole; evaluating andconstructively critiquing department programs andplans; supporting new initiatives; and promotingawareness of the department and its programs withinthe community.The group meets three times a year and is an activeparticipant in helping plan the Open House, a biennialevent that opens up the department to local industryand alumni. CSA also provides valuable input in theleadership and direction of the department, includingsuggestions regarding recruiting and retentionof students, and reviewing and commenting on acurriculum revision.As a department we continue to seek out ways to fostercommunication between the department and privateindustry in a mutually beneficial partnership. Ourindustry partners enrich the instruction and outreachefforts of the department through their involvement.There are many ways corporations partner with CSE.Research collaboration with faculty, donation ofequipment, scholarships for students and supportingstudent organizations are just a few ways in which wegain input from industry.10 10 1010 10 10 10 10 10101010 10 10 10 10 1010 10 10 1010 10 10 10 10 1010 10 10 10 0110 10 10 10 10 1010 1010 10 10 100 101010101101010 10 10 10 10 1010 10 10 10 10 1010 10 10 1001001Past industry gifts, grants, and collaborative projectsinclude:• Distinguished Speaker Series: Cray, Unisys• Endowed Chairs: CDC (Norris Chair), Qwest(Qwest Chair)• Research Partnership Awards: IBM and Microsoft• Joint Research Projects and student support:3MAdventium LabsAGL ConsultingAndrew W. Mellon FoundationAT&TAlliant TechsystemsAmeriprise Financial ServicesAMGENArchitecture Technology Corp.AutodeskBenchmarkQA Inc.Benjamin MooreBoston ScientificCadence Design Systems Inc.CiscoDupontEaton Corp.Ecolab FoundationElectrics/TelecommunicationsResearch InstituteEngenioEmersonElectric FoundationErnst & Young FoundationESRIETRI (Korea)Ford Motor CompanyFreytag & Co.Futurewei Technologies Inc.Genentech Inc.General Dynamics AISGeneral Mills FoundationHewlett PackardHoneywell 1010IBM10 101010 10 10101010 1010 1010 1010 1010 10 1010 10 1010 10 1010 10 1010 10 1010 10 1010 10 1010 10 1010 1010 10 1010 10 1010 10 1010 10 1010 101010 10 1010 101010 10 10101010 101010 10 101010Industrial TechnologyResearch Institute (Taiwan)Integral Process SolutionIntelInterdigitalInterTech SystemsLockheed Martin Corp.LSI Logic Corp.MedtronicMicrosoftMinnesotan Metropolitan CouncilNarus Inc.National Sea Rescue Institute (Korea)Ned Levine and AssociatesOraclePaR Systems,Planetary Skin Institute,Quality Software Technologies,Rockwell Collins Inc.SprintStorageTekSun MicrosystemsSymantecSynopsysThomson ReutersTitan CorporationTrane Co.UnileverUnisysUnited TechnologiesVital ImagesWells Fargo Foundation10 1010 1010 1010 142 industry partners10 10 10 10 10 1010 10 10 1010 10 10 10 10 1010

donorsOur alumni and friends provide generous financial support for our work. Their assistance iscrucial in providing scholarships to students, supports our research, and helps us recruit andretain top students and faculty.We would like to use this page to express our gratitude to those supporters who havesustained the department with giving each year for five consecutive years.Thank youindividual donorsMr. Howard ColemanMr. Steven Piazza & Ms. Lori DietrichMr. Prasanth DuvvurMr. Daniel FranklinMr. Joseph GlinieckiMr. Gary Johnson & Ms. Kathy HacmacMr. Abderrahman A El HaddiMr. Richard & Ms. Nancy HedgerMr. George HeyneLt. Col Patrick HillmeyerMr. Aaron HinckMr. John JelatisMs. Sandra JohnsonDr. Mahesh JoshiMrs. Rebecca & Mr. John LatterellDr. Lishin LinMr. Chung-Wen & Ms. Lee-Chin LiuMs. Kathleen MalleryMr. Brian MenneDr. Srihari NelakuditiMr. David OdalenMr. Patrick & Ms. Sharon O’TooleMs. Cheryl ProtasMr. James RiceMr. Frederick RoosMr. David SchmidtMr. Richard SeebachMr. John ShackletonDrs. Lesley Atwood and Richard SmithMs. Gayle SolheimMrs. Lisa and David TauzellMr. Kurt Indermauer & Ms. Jennifer TimmersMr. Robert & Ms. Elizabeth VavraMr. Lance VisserMr. Benjamin WeselohDrs. J Andrew Holey & Gary WhitfordDrs. Qi Ye and Kesheng WuMs. Rita Wudonors43

Department of Computer Science and Engineering4-192 Keller Hall, 200 Union St SEMinneapolis, MN 55455www.cs.umn.eduNonprofit Org.U.S. PostagePAIDTwin Cities, MNPermit No. 90155