The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Software Engineering

• « Older Entries

  Newer Entries »
• 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
• 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
• 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
• 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, 2009
• 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, 2009
• 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, 2009
• 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, 2009
• Mats Heimdahl at University of Minnesota (Minneapolis, Minnesota)
  Keywords: Requirements Engineering, Verification, Testing, Validation, Safety, Critical Systems, Certification, Assurance Cases 2June, 2009
• 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, 2009
• Akos Ledeczi at Vanderbilt University (Nashville, TNC)
  Keywords: wireless sensor networks, localization, middleware services, MANET, model integrated computing 1June, 2009
• 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, 2009
• 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, 2009
• 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, 2009
• 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, 2009
• 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, 2009
• 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, 2009
• 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, 2009
• Gary Olson at University of California, Irvine (Irvine, California)
  Keywords: CSCW, HCI, software engineering, scientific collaboration, virtual teams 27May, 2009
• 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, 2009
• 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, 2009
• 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, 2009
• Yannis Smaragdakis at University of Massachusetts, Amherst (Amherst, MA)
  Keywords: program analysis, program generation, programming models for concurrency 26May, 2009
• 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, 2009
• 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, 2009
• Robyn Lutz at Iowa State University (Ames, IA)
  Keywords: Software product lines, formal methods, software safety, automated software engineering 21May, 2009
• Frank Shipman at Texas A&M University (College Station, TX)
  Keywords: digital libraries, information retrieval and visualization, multimedia, software engineering, hypertext, computers and education 21May, 2009
• Davide Bolchini at Indiana University, School of Informatics (Indianapolis, IN)
  Keywords: user experience modelling, requirements engineering for web applications, mobile user experience, information architecture and navigation models, usability, brand engineering in interaction design, web engineering, hypertext and hypermedia. 21May, 2009
• Laura Dillon at Michigan State University (East Lansing, MI)
  Keywords: Formal methods; testing and analysis; software engineering; programming languages; separation of concerns. 21May, 2009
• Srini Ramaswamy at University of Arkansas at Little Rock (Little Rock, AR)
  Keywords: modeling, analysis and simulation, software engineering, data mining, social network analysis, embedded computing, service computing, petri nets, software automation, software design and maintenance 20May, 2009
• Ping Yang at State University of New York at Binghamton (Binghamton, NY)
  Keywords: Access Control, Provenance Security, Virtual Machine Security, Health Care Privacy, Security Policy Analysis, Formal Methods, Workflows 20May, 2009
• Sudipto Ghosh at Colorado State University (Fort Collins, CO)
  Keywords: software testing, mutation analysis, fault injection testing, component-based systems, aspect-oriented software development, object-oriented design, middleware, maintainability 20May, 2009
• Robert France at Colorado State University (Fort Collins, Colorado)
  Keywords: model-driven development, formal methods, aspect-oriented software development, security modeling, design trade-off analysis, domain-specific modeling languages 20May, 2009
• Lyle Long at The Pennsylvania State University (State College, PA)
  Keywords: spiking neural networks, sensor processing, cognitive robotics, parallel computing 20May, 2009