The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Software Engineering

• « Older Entries
• Anne Carpenter at Broad Institute of Harvard and MIT - Carpenter lab/Imaging Platform (Cambridge, MA, United States)
  Keywords: image processing, image analysis, data mining, microscopy images, biology, biological, genome, chemical screens, high content screening, machine learning, systems biology 13June, 2012
• Bjoern Hartmann at University of California, Berkeley (Berkeley, CA)
  Keywords: design tools, crowdsourcing, end-user programming, rich interaction technologies 25May, 2011
• Cormac Flanagan at University of California, Santa Cruz (UCSC)
  Keywords: Concurrency, Parallelism, Programming Languages, Type Systems, Verification, Security. 19May, 2011
• Ranjit Jhala at University of California, San Diego (San Diego, CA)
  Keywords: Programming Languages, Software Engineering, Software Verification, Model Checking, Program Analysis, Automated Deduction, Web Security, Refinement Types. 19May, 2011
• Jason Kelly at Ginkgo BioWorks (Boston, MA)
  Keywords: Algorithms, CAD, comparative genomics, engineering organisms, genomics, metagenomics, synthetic biology 18May, 2011
• Jules White at Virginia Tech (Blacksburg, VA)
  Keywords: smartphones, cloud computing, distributed real-time and embedded systems, modeling, software product-lines, crowdsourcing, citizen scientists, mobile augmented reality 17May, 2011
• Shankar Subramaniam at University of California at San Diego (UCSD, La Jolla, CA)
  Keywords: Bioinformatics, Computational Biology, Systems Biology and Medicine. 14May, 2011
• 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 12May, 2011
• Jeffrey Miller at University of Alaska, Anchorage (Anchorage, Alaska)
  Keywords: Intelligent Transportation Systems (ITS), algorithms (specifically graph algorithms), vehicular ad hoc networks (VANETs), software and network architectures 11May, 2011
• 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 11May, 2011
• Barbara Ryder at Virginia Tech (Blacksburg, VA)
  Keywords: static and dynamic program analysis, software quality, testing, debugging, security 10May, 2011
• Sebastian Elbaum at University of Nebraska (Lincoln, NE)
  Keywords: End user software engineering, software testing, analysis, and monitoring 9May, 2011
• Ganesh Gopalakrishnan at University of Utah, School of Computing (Salt Lake City, UT)
  Keywords: Dynamic Verification, Static Analysis, and Symbolic Analysis for Bug Hunting and Test Generation of Parallel and Concurrent Programs (e.g., MPI, CUDA, OpenCL) 9May, 2011
• 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 9May, 2011
• Supratik Mukhopadhyay at Louisiana State University (Baton Rouge, LA)
  Keywords: Formal verification of embedded firmware, Program termination analysis, Program synthesis, Activity-based intelligence, Formal foundations of parallel execution models, New paradigms in machine learning, Formal reasoning about psychology 8May, 2011
• Neha Rungta at NASA Ames Research Center (California, USA)
  Keywords: Software verification and validation, software testing, static and dynamic analysis, model checking, symbolic execution, incremental analysis, control-flow analysis, bug detection 7May, 2011
• Moshe Vardi at Rice University (United States)
  Keywords: database theory, logic and computation, formal methods, model checking, symbolic reasoning 7May, 2011
• Scott Smolka at Stony Brook University (Stony Brook, NY)
  Keywords: Model Checking, Formal Methods, Process Algebra, Formal Verification, Security Protocols, Systems Biology, Embedded Systems, Hybrid Systems, Ad Hoc Network Protocols 6May, 2011
• Uzi Vishkin at Univ. of Md Institute for Advanced Computer Studies (UMIACS) (College Park, MD)
  Keywords: Parallel algorithms, compilers, architecture, application, education of parallelism, bioinformatics, machine learning, security, OS, and SW architectures. 6May, 2011
• Ken Anderson at University of Colorado at Boulder (Boulder, Colorado, USA)
  Keywords: software architecture, web engineering, crisis informatics 6May, 2011
• cruz Alfredo at Polytechnic University of Puerto Rico (San Juan, Puerto Rico)
  Keywords: Computer Security, Computer Forensics, Software Engineering, Software Testing 6May, 2011
• Arbi Ghazarian at Arizona State University (polytechnic Campus) (Mesa, AZ)
  Keywords: Software Engineering, Requirements Engineering, Traceability, Reliability, Empirical Software Engineering, Software Evolution and Maintenance, Software Architecture and Design, Software Comprehension, Project Management, Study of Software Defects. 6May, 2011
• Leysia Palen at University of Colorado at Boulder (Boulder, Colorado)
  Keywords: Human Computer Interaction, CSCW, crisis informatics, social computing, computer-mediated communication (CMC), technology-mediated social participation, ethnography, virtual ethnography, sociotechnical studies 5May, 2011
• Robert Michael Panoff at Shodor Education Foundation (Durham, NC)
  Keywords: Computational Science, computational science education, stochastic optimization, systems modeling, agent modeling, digital libraries, interactive computing, multi-core/many-core algorithms, multi-core/many-core learning modules 5May, 2011
• Andrew Ko at University of Washington (Seattle, WA)
  Keywords: HCI, software engineering, software errors, bugs, debugging, help, user assistance 5May, 2011
• Edward Lee at UC Berkeley (Berkeley, CA)
  Keywords: Embedded software, real-time software, model-based design, concurrency, domain-specific languages, code generation, metaprogramming 5May, 2011
• Hridesh Rajan at Iowa State University (Ames, IA)
  Keywords: concurrent programming language features, modularity, modular reasoning and understanding, advanced separation of concerns, programming language design, semantics, implementation, and optimization 5May, 2011
• Zhong Shao at Yale University (New Haven, CT)
  Keywords: Certified Software; Concurrency;Proof-Carrying Code; Language-Based Security; Program Verification; Certified OS Kernels; Certifying Compilers; Formal Methods; Dependently Typed Programming Languages; Dependable Software 5May, 2011
• Matthew Dwyer at University of Nebraska - Lincoln (Lincoln, NE)
  Keywords: software verification and validation, testing, runtime monitoring, static analysis, model checking, symbolic execution, program specification, embedded systems 4May, 2011
• Suresh Jagannathan at Purdue University (West Lafayette, IN)
  Keywords: Programming Languages and Compilers, Static and Dynamic Program Analysis, Concurrency, Functional Programming, Testing, Type Systems, Specification Inference, Memory Models, Verification, Debugging, Transactional Memory, Distributed Programming, 4May, 2011
• 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
• 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
• 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
• 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
• 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