The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Software Engineering

• « Older Entries
• William Griswold at UC San Diego (La Jolla, CA)
  Keywords: software engineering, ubiquitous computing, software architecture, modularity, sensing, context-awareness, mobile, wireless 20May, 2010
• Michael Ernst at Univesity of Washington (Seattle, WA)
  Keywords: programmer productivity, software engineering, programming languages, security, testing, type systems, static analysis, dynamic analysis, bug detection, refactoring, verification 20May, 2010
• Atul Adya at Google Seattle (Seattle, Washington)
  Keywords: distributed systems, databases, transactions, consistency, caching, file systems 20May, 2010
• David Cowburn at Albert Einstein College of Medicine, Yeshiva University from 9/2010 (New York)
  Keywords: modeling of structure and dynamics in biology. Fast integration of NMR and other structural data into models by robust methods. 19May, 2010
• David Redmiles at University of California, Irvine (Irvine, CA)
  Keywords: Human-Computer Interaction, Computer-Supported Cooperative Work, Software Engineering, Collaborative Software Development, Distributed Teams, Virtual Worlds, Trust, Awareness, Reflection, Visualization, Design, Meta-Design, Design Environments 17May, 2010
• Albert M. K. Cheng at University of Houston (Houston, Texas)
  Keywords: Real-Time Systems; Embedded Systems; Cyber-Physical Systems; Formal Verification; Networking; Software Engineering; Operating Systems; Power-Aware and Green Computing. 14May, 2010
• Hridesh Rajan at Iowa State University (Ames, IA)
  Keywords: modularity in software design, synergy between modularity and concurrency, modular reasoning and its impact on potential concurrency in program design, implicitly concurrent programming languages 13May, 2010
• Leysia Palen at University of Colorado at Boulder (Boulder, Colorado)
  Keywords: Crisis informatics, disaster, emergency; CMC, CSCW, HCI, software engineering; social computing; mass collaboration, information integration; data mining, (internet) ethnography, information retrieval & extraction, natural language processing 13May, 2010
• Kevin Gary at Arizona State University Polytechnic (Phoenix, AZ)
  Keywords: software engineering education, software validation, reverse engineering, agile methods, open source software, image-guided surgery, search, web development 13May, 2010
• Robyn Lutz at Iowa State University (Ames, IA)
  Keywords: Requirements engineering, software product lines, formal methods, software safety, automated software engineering 11May, 2010
• Azer Bestavros at Boston University, Computer Science Department (Boston, MA)
  Keywords: Cloud Computing, Content Distribution Networks, Peer-to-peer Systems, Real-Time Systems, Cyber-Physical Systems, Network Science, Mechanism Design for Distributed Systems and Applications, Application of Formal Methods to Networked Systems. 10May, 2010
• Swarat Chaudhuri at Pennsylvania State University (University Park, PA)
  Keywords: Program analysis, Verification, Automated reasoning, Semantics, Mathematical analysis, Continuity, Calculus 10May, 2010
• Ganesh Gopalakrishnan at University of Utah, School of Computing (Salt Lake City, UT)
  Keywords: Verification of Concurrent Systems built using Real APIs and Libraries (MPI, Pthreads, MCAPI, CUDA) providing formal guarantees; Concurrency Education; Multicore Computing; Environments for Effective Concurrency Debugging; Parallelism for Verification 9May, 2010
• Jeff Foster at University of Maryland, College Park (College Park, MD)
  Keywords: Programming languages, software engineering, security, type systems, scripting languages, symbolic execution, static analysis, program synthesis 7May, 2010
• R Sekar at Stony Brook University (Stony Brook, NY)
  Keywords: Software security, malware defense, intrusion detection program analysis, program transformation, binary rewriting, OS virtualization 3May, 2010
• John Pestian at Cincinnati Children's Hospital Medical Center, University of Cincinnati (Cincinnati, Oh)
  Keywords: Natural language processing, clinical data, data mining, software engineering, computational linguistics, 3May, 2010
• Bor-Yuh Evan Chang at University of Colorado at Boulder (Boulder, CO)
  Keywords: program analysis, user-centric development tools, language design, verification, shape analysis, types 3May, 2010
• Yu Zhang (and Colleagues) at Trinity University (San Antonio, TX)
  Keywords: Liberal arts teaching, Undergraduate research 2May, 2010
• Sol Shatz at University of Illinois at Chicago (Chicago, Illinois)
  Keywords: sensor networks, mobile computing, sensor data sampling, formal methods, Petri nets, concurrency, distributed sofware design and analysis 1May, 2010
• Mahesh Viswanathan at University of Illinois, Urbana-Champaign (Urbana, IL)
  Keywords: model checking, software verification, hybrid and embedded system verification, probabilistic system verification, logic, automata theory 30April, 2010
• Crista Lopes at University of California, Irvine (Irvine, CA)
  Keywords: Source code search, distributed systems 29April, 2010
• Thomas Reps at University of Wisconsin (Madison, WI)
  Keywords: program analysis; abstract interpretation; model checking; verification of program properties; dynamic, static, and symbolic techniques; security; analysis of machine code; linked data structures; concurrency; information assurance 29April, 2010
• Perry Alexander at The University of Kansas (Lawrence, KS)
  Keywords: formal methods, verification, synthesis, system-level design, system semantics, composition, model-based design 29April, 2010
• Matthew Might at University of Utah (Salt Lake City, Utah)
  Keywords: optimization, parallelism, security, verification, static analysis, abstract interpretation, control-flow analysis, functional programming, object-oriented programming 28April, 2010
• Emery Berger at University of Massachusetts, Amherst (Amherst, MA)
  Keywords: Programming languages, runtime systems, operating systems, memory management, concurrency, scalability, security, reliability, resilient runtime systems, error tolerance, error detection, error correction, randomization 28April, 2010
• Scott DeLoach at Kansas State University (Manhattan, KS)
  Keywords: agent-oriented software engineering; models@run.time; complex, adaptive systems; multiagent systems; cooperative robotic systems; human-robot teams 28April, 2010
• David Weiss at Iowa State University (Ames, IA)
  Keywords: software engineering, software architecture, software product lines, software measurement, distributed software development 28April, 2010
• Christine Julien at University of Texas at Austin (Austin, TX)
  Keywords: pervasive computing, mobile computing, middleware, software engineering, end-user programming, mobile computing testbeds, delay-tolerant networks 28April, 2010
• Andrew Ko at University of Washington (Seattle, WA)
  Keywords: HCI, software engineering, software errors, bugs, debugging, help, user assistance 28April, 2010
• Sebastian Elbaum at University of Nebraska (Lincoln, NE)
  Keywords: End user software engineering, software testing, analysis, and monitoring 28April, 2010
• Anita Sarma at University of Nebraska, Lincoln (Nebraska, Lincoln)
  Keywords: workspace awareness, interactive exploration of software project, visualization of large scale projects 28April, 2010
• Alex Aiken at Stanford University (Stanford, CA)
  Keywords: program analysis, verification, constraint resolution, static analysis, dynamic analysis, programming languages, compilation, program optimization, large scale parallel computing 28April, 2010
• André van der Hoek at University of California, Irvine (Irvine, CA)
  Keywords: Design, Design Theory, Software Design, Software Architecture, Configuration Management, Coordination, Awareness, Software Engineering Education 28April, 2010
• Olga Sergienko at GFDL/Princeton (Princeton, NJ)
  Keywords: glaciology, ice-sheet modeling 28April, 2010
• Peter Sweeney at IBM T.J. Watson Research Center (Hawthorne, NY)
  Keywords: static analysis, dynamic analysis, performance analysis, automatic performance tuning, automatic performance bottleneck detection, multi-cores, middleware, Java enterprise applications 11June, 2009
• Steve Roach at The University of Texas at El Paso (El Paso, TX)
  Keywords: runtime monitoring, deductive synthesis, automated software engineering, automated testing, scientific computation 11June, 2009
• Sharad Singhal at Hewlett-Packard Laboratories (Palo Alto, CA)
  Keywords: Web Services, Cloud Computing, Service Composition, Service Orchestration, Business Processes 10June, 2009
• Sharad Singhal at HP Labs (Palo Alto, CA)
  Keywords: Web Services, Cloud Computing, Service Composition, Service Orchestration, Business Processes 9June, 2009
• Craig Chambers at Google (Seattle, WA)
  Keywords: Programming languages, optimizing compilers, parallel and distributed systems, object-oriented systems 9June, 2009
• Alessandro Orso at Georgia Institute of Technology (Atlanta, GA)
  Keywords: Software testing, static and dynamic program analysis, software security, web applications security and reliability. 8June, 2009
• Shriram Krishnamurthi at Brown University (Providence, RI)
  Keywords: programming languages, verification, security, software engineering 8June, 2009
• Lori Pollock at University of Delaware (Newark, Delaware)
  Keywords: automating software testing support, automatically analyzing word usage in software for improved software maintenance tools, analyzing and optimizing parallel programs, building automatic program analysis for software developer tools 8June, 2009
• Tevfik Bultan at University of California at Santa Barbara (Santa Barbara, CA)
  Keywords: model checking, static analysis, service oriented computing, concurrency, and software engineering 8June, 2009
• Daniel Brand at IBM T.J. Watson Research Center (Yorktown Heights, NY)
  Keywords: software robustness, static program analysis, dynamic analysis, defect detection, theorem proving, specification mining, software security, parallelization 8June, 2009
• Premkumar Devanbu at University of California, Davis (Davis, CA)
  Keywords: Empirical Software Engineering, evaluation of static analysis tools, social and human factors in software engineering, distributed software engineering. 6June, 2009
• Guofei (Geoff) Jiang at NEC Laboratories America, Princeton (Princeton, New Jersey)
  Keywords: distributed system & networks, performance, reliability & dependability, statistical learning & mining for large scale system management, next generation data center, cloud computing platform, virtualization and resource provisioning, power management 6June, 2009
• J. Jenny Li at Avaya Labs Research (formerly part of Bell Labs) (Basking Ridge NJ)
  Keywords: Software/network/VoIP reliability, quality and testing.. 5June, 2009
• Erik Altman at IBM T.J. Watson Research Center (Hawthorne, NY)
  Keywords: multicore, SSD, middleware, webserving, middleware, databases, appserver,multi-tier 5June, 2009
• Joseph Hellerstein at Google (Seattle, WA)
  Keywords: distributed scheduling, cluster management, machine learning and systems, performance modeling, control theory 5June, 2009
• Zhendong Su at University of California, Davis (Davis, CA)
  Keywords: program analysis, defect detection, clone detection and analysis, program equivalence detection, testing, automated debugging, specification mining, reliability of numerical software, web security, software security, malware detection and analysis 5June, 2009