The Computing Innovation Fellows Project

Mentors interested in:
Software Engineering

• William Griswold at UC San Diego (La Jolla, CA)
  Keywords: software engineering, distributed systems, disaster informatics, mobile wireless information systems, medical informatics, publish-subscribe. 28July
• 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
• 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
• Sharad Singhal at Hewlett-Packard Laboratories (Palo Alto, CA)
  Keywords: Web Services, Cloud Computing, Service Composition, Service Orchestration, Business Processes 10June
• Sharad Singhal at HP Labs (Palo Alto, CA)
  Keywords: Web Services, Cloud Computing, Service Composition, Service Orchestration, Business Processes 9June
• Atul Adya at Google Seattle (Seattle, Washington)
  Keywords: distributed systems, databases, transactions, consistency, caching, file systems 9June
• Craig Chambers at Google (Seattle, WA)
  Keywords: Programming languages, optimizing compilers, parallel and distributed systems, object-oriented systems 9June
• 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
• Shriram Krishnamurthi at Brown University (Providence, RI)
  Keywords: programming languages, verification, security, software engineering 8June
• 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
• 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
• 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
• 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
• 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
• J. Jenny Li at Avaya Labs Research (formerly part of Bell Labs) (Basking Ridge NJ)
  Keywords: Software/network/VoIP reliability, quality and testing.. 5June
• Erik Altman at IBM T.J. Watson Research Center (Hawthorne, NY)
  Keywords: multicore, SSD, middleware, webserving, middleware, databases, appserver,multi-tier 5June
• Joseph Hellerstein at Google (Seattle, WA)
  Keywords: distributed scheduling, cluster management, machine learning and systems, performance modeling, control theory 5June
• 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
• Vladimir Zolotov at IBM T.J. Watson Research Center (Yorktown Heights, NY)
  Keywords: design automation, timing analysis, statistical timing, circuit analysis, circuit optimization, signal integrity, VLSI testing 4June
• Anita Sarma at University of Nebraska, Lincoln (Nebraska, Lincoln)
  Keywords: workspace awareness, interactive exploration of software project, visualization of large scale projects 4June
• Alexander Gray at Georgia Institute of Technology (Atlanta, GA)
  Keywords: machine learning, data mining, statistics, high dimensionality, massive datasets, optimization, algorithms, automated program synthesis, computational geometry, linear algebra, data-intensive/distributed computing, astrophysics, mass spec, SVMs 4June
• Natarajan Shankar at SRI International (Menlo Park CA)
  Keywords: Automated deduction, formal verification, software engineering, programming languages, type systems, symbolic algorithms, software certification, probabilistic inference, planning. 3June
• Insup Lee at University of Pennsylvania (Philadelphia, PA)
  Keywords: real-time systems, embedded systems, cyber-physical systems, high-confidence medical software systems, formal methods, quantitative trust managment 2June
• Mats Heimdahl at University of Minnesota (Minneapolis, Minnesota)
  Keywords: Requirements Engineering, Verification, Testing, Validation, Safety, Critical Systems, Certification, Assurance Cases 2June
• Ole Mengshoel at Carnegie Mellon University, Silicon Valley & NASA Ames (San Francisco Bay Area)
  Keywords: Bayesian networks; Inference; Machine Learning; Stochastic Local Search; Evolutionary Algorithms; Aerospace Vehicle Health Management; Electrical Power Systems; Real-Time Systems; Dependable Systems; Aerospace Vehicles; Software/Knowledge Engineering. 2June
• Akos Ledeczi at Vanderbilt University (Nashville, TNC)
  Keywords: wireless sensor networks, localization, middleware services, MANET, model integrated computing 1June
• Yolanda Gil at University of Southern California, Information Sciences Institute (Los Angeles, CA)
  Keywords: intelligent user interfaces, knowledge collection from web volunteers, knowledge-rich problem solving, artificial intelligence in social networking sites, semantic web, scientific workflows. 1June
• 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 31May
• Lori Clarke at University of Massachusetts (Amherst, MA)
  Keywords: Analysis of concurrent and distributed systems, finite-state verification, requirements engineering, safety analysis, analysis based process improvement 30May
• Scott Smolka at Stony Brook University (Washington, DC)
  Keywords: Model Checking, Formal Methods, Process Algebra, Formal Verification, Security Protocols, Systems Biology, Embedded Systems, Hybrid Systems, Ad Hoc Network Protocols 30May
• Jason Nieh at Columbia University (New York, NY)
  Keywords: software systems, operating systems, virtualization, file and storage systems, cloud computing, mobile computing, thin-client computing, network computing, Web systems, high-performance computing, security, performance evaluation. 29May
• Rachel Bellamy at Software Technology Dept of IBM Research Hawthorne (Westchester, NY)
  Keywords: Psychology of Programming, Cognitive Modeling of Technology Use, Usability Analysis Tools and Methods, Information Foraging Models. 29May
• Jaakko Järvi at Texas A&M University (College Station, TX)
  Keywords: generic programming, generative programming, programming languages, type systems, software construction, user interfaces 29May
• Lawrence Rauchwerger at Texas A&M University (College Station, TX)
  Keywords: parallel, compilers, library, C++, STL, autoparallelization, TLS, speculation, DSM, Runtime system, MPI, OpenMP, RMI, multicore, manycore, petascale 29May
• Alex Aiken at Stanford University (Stanford, CA)
  Keywords: program analysis, verification, constraint resolution, static analysis, dynamic analysis, programming languages, compilation, program optimization, multicore programming 28May
• Sam Malek at George Mason University (Washington, DC)
  Keywords: software architecture, self-adaptive software systems, design, distributed and embedded software systems, mobile computing, and quality of service analysis 28May
• Gary Olson at University of California, Irvine (Irvine, California)
  Keywords: CSCW, HCI, software engineering, scientific collaboration, virtual teams 27May
• Eric Mercer at Brigham Young University (Provo, Utah)
  Keywords: Formal Verification, static analysis, dynamic analysis, software verification, software testing, PathFinder, program analysis, model checking, symbolic execution, unit testing, control flow, multi-core programming, concurrency, deadlock, race condition 27May
• David Klappholz at Stevens Institute of Technology (Hoboken, NJ)
  Keywords: recruiting young women into and retaining them in computing majors, gender issues, empirical software engineering research, concept inventories 27May
• Olga Sergienko at GFDL/Princeton (Princeton, NJ)
  Keywords: glaciology, ice-sheet modeling 26May
• Elaine Weyuker at AT&T Labs - Research (Florham Park, NJ)
  Keywords: Software fault prediction, software defect predication, software testing, empirical software engineering, software measurement and metrics, software engineering 26May
• Yannis Smaragdakis at University of Massachusetts, Amherst (Amherst, MA)
  Keywords: program analysis, program generation, programming models for concurrency 26May
• Kathryn McKinley at The University of Texas at Austin (Austin, TX)
  Keywords: scalable runtime services, scalable memory management, compiling for future architectures, improving software reliability and security 26May
• R Sekar at Stony Brook University (Stony Brook, NY)
  Keywords: Software security, malware defense, intrusion detection program analysis, program transformation, binary rewriting, OS virtualization 25May
• Sebastian Elbaum at University of Nebraska - Lincoln (Lincoln, NE)
  Keywords: Software Engineering: software monitoring, software testing, software analysis, end user programming 23May
• 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 23May
• Yu Zhang (and Colleagues) at Trinity University (San Antonio, TX)
  Keywords: Liberal arts teaching, Undergraduate research 22May
• 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 22May
• Rob Miller at Massachusetts Institute of Technology (Cambridge, MA)
  Keywords: human-computer interaction, user interfaces, software engineering, end-user programming, programming systems, web automation, web customization, web mashups, study of programmers, usable security, intelligent user interfaces 22May
• Swapna Gokhale at University of Connecticut (Storrs, CT)
  Keywords: Software Reliability, Performance and Reliability Analysis of Web-based Systems, Detection and Analysis of Web Robots 21May