The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Software Engineering

• Newer Entries »
• Yuanyuan Zhou at University of California, San Diego (San Diego, CA)
  Keywords: software reliability, operating systems, storage systems, power management, software bug detection, concurrent program correctness, failure diagnosis, system mining and apply machine learning in systems 20May, 2009
• Matthew Might at University of Utah (Salt Lake City, UT)
  Keywords: compilers, programming languages, static analysis, abstract interpretation, higher-order, functional, theorem proving, model checking, positive assurance, automatic parallelization, optimization, verification, security 19May, 2009
• Gopalan Nadathur at Department of Computer Science and Engineering, University of Minnesota (Minneapolis, MN)
  Keywords: programming language design and implementation, compilers, type theory, formal methods, proof theory, computer assisted reasoning 19May, 2009
• Huiyang Zhou at University of Central Florida (Orlando, FL)
  Keywords: Many-core architecture and programming, GPGPU, architectural support for system dependability, architectural support for security, architectural support for software debugging, high performance microarchitecture, compiler optimization 19May, 2009
• Michael Grasso at UMBC eBiquity Research Lab (Baltimore, MD)
  Keywords: Medical Informatics, Clinical Computing, Clinical Data Management, Clinical Data Visualization, Web 2.0, Virtual Reality, Mobile Computing, Human Factors, Software Engineering 19May, 2009
• Rastislav Bodik at University of California Berkeley (Berkeley, CA)
  Keywords: program synthesis (analysis, verification, decision procedures, language design); parallel web browsers for low-power devices (high-level language design and implementation, parallel algorithms); education in programming languages and compilers. 19May, 2009
• Anand Tripathi at University of Minnesota Minneapolis (Minneapolis)
  Keywords: Pervasive and Context-aware Computing, Middleware Systems, Resilient Distributed Systems and Services, Mobile agent programming, Multi-agent systems 19May, 2009
• M. Brian Blake at University of Notre Dame (South Bend, IN)
  Keywords: Service-oriented computing, software engineering, web services, enterprise integration, workflow, agent-based software engineering 19May, 2009
• Satish Narayanasamy at University of Michigan (Ann Arbor, Michigan)
  Keywords: Parallel Programming tools and models, Multi-core processors, Reliability, Graphics Processors, Program Analysis, Architectural support for Debugging/Reliability/OS, Data Race, Atomicity violations, Sampling, Replay 19May, 2009
• Satish Narayanasamy at University (Ann Arbor, Michigan)
  Keywords: Parallel Programming tools and models, Multi-core processors, Reliability, Graphics Processors, Program Analysis, Architectural support for Debugging/Reliability/OS, Data Race, Atomicity violations, Sampling, Replay 19May, 2009
• Gang Tan at Lehigh University (Bethlehem, PA)
  Keywords: language interoperation, language-based security, certified code, binary rewriting, programming languages 19May, 2009
• Zachary Dodds at Harvey Mudd College Computer Science (department) (Claremont, CA)
  Keywords: This is a primarily teaching position at a science, math, and engineering-focused liberal arts college. We encourage applicants from any specialty who have a passion for teaching and working with students. 19May, 2009
• Kera Watkins at Georgia Southern University (Statesboro, GA)
  Keywords: software testing, software engineering, software engineering education, computer science education 18May, 2009
• Naftaly Minsky at Rutgers University (New Brunswick NJ)
  Keywords: security and dependability of distributed systems; policy based systems; law-governed interaction; decentralized and generalized access control; SOA; cognitive radio; grids; dynamic coalition; multi-agent systems; service-level agreements. 18May, 2009
• Mary Beth Rosson at Pennsylvania State University (University Park, PA)
  Keywords: human-computer interaction, usability engineering 18May, 2009
• Elizabeth Sweedyk at Harvey Mudd College (Claremont, CA)
  Keywords: CS education, software engineering education, graphics, games 18May, 2009
• Jim Seliya at University of Michigan - Dearborn (Dearborn, Michigan)
  Keywords: software engineering; software quality; software measurements; self-healing software systems; data mining; machine learning; medical informatics; computational intelligence 18May, 2009
• Hao Zheng at University of South Florida (Tampa, FL)
  Keywords: formal verification model checking, bounded model checking, compositional reasoning, hardware verification, real-time verification 18May, 2009
• Soumya Ray at Case Western Reserve University (Cleveland, OH)
  Keywords: Algorithms for machine learning, reinforcement learning, planning, applications to interdisciplinary problems e.g. software engineering and bioinformatics 18May, 2009
• Eileen Kraemer at University of Georgia (Athens, GA)
  Keywords: Software Engineering for Concurrent Systems, Usability Evaluation, Bioinformatics, Web Effectiveness 18May, 2009
• Michael Bailey at University of Michigan (Ann Arbor, Michigan)
  Keywords: security, networking, distributed systems 18May, 2009
• James Taylor at Emory University (Atlanta, GA)
  Keywords: computational biology, bioinformatics, genomics, machine learning, usability, scalability 18May, 2009
• Tao Xie at North Carolina State University (Raleigh, NC)
  Keywords: Automated software engineering, automated software testing, mining software engineering data, program analysis, security testing and analysis, software evolution 18May, 2009
• Laurie Williams at North Carolina State University (Raleigh, NC)
  Keywords: software testing, software security, software reliability, software process, agile software development, open source software 18May, 2009
• Youfeng Wu at Intel Research (Santa Clara, CA)
  Keywords: Parallelization of single-threaded programs on multiple cores, binary translation, dynamic optimizations, and software/hardware collaborative techniques to enhance future microprocessors 18May, 2009
• Nathan Clark at Georgia Institute of Technology (Atlanta, GA)
  Keywords: data structure detection, software parallelization, program analysis, dynamic application tuning, architecture support for dynamic compilation and program optimization. 18May, 2009
• Steven Reiss at Brown University (Providence, RI)
  Keywords: software visualization, programming environments, programming tools, program comprehension, code search, dynamic analysis, fault localization 18May, 2009
• William Cook at University of Texas at Austin (Austin, TX)
  Keywords: Modeling languages, Domain-specific languages, Programming Languages, Types, Partial Evaluation, Distributed Computing, Authorization, User Interfaces, Object-oriented programming, Information systems 17May, 2009
• Lin-Ching Chang at The Catholic University of America / Computational Informatics Laboratory (Washington, DC)
  Keywords: Medical Image Processing, Computer Algorithms, Statistical Data Analysis, Modeling and Simulation, Combinatorial Designs, Object-Oriented Design/Programming, Distributed and Parallel Computing, Pattern Recognition, Data Mining. 17May, 2009
• C. Titus Brown at Michigan State University (East Lansing, MI)
  Keywords: bioinformatics, next-generation sequencing, regulatory genomics, developmental biology 17May, 2009
• Kathi Fisler at WPI (Worcester, MA)
  Keywords: Security policy analysis, pedagogic programming environments, deriving formal specifications from informal documentation, formal verification. 17May, 2009
• Gabriel Dos Reis at Texas A&M University (College Station,TX)
  Keywords: Programming Languages Compilers Computer Algebra Computational Geometry Embedded Systems Theorem Proving Parallel computing 16May, 2009
• Annie Anton at North Carolina State University (Raleigh, NC)
  Keywords: Information privacy and security, privacy and security policy, regulatory compliance, software engineering, requirements engineering, survey instruments, internet users' privacy values, online behavioral marketing. 16May, 2009
• David Notkin at University of Washington Computer Science & Engineering (Seattle, WA)
  Keywords: software evolution, software maintenance, software resting and analysis, software design, software tools and environments, software configurations, multicore for software quality 16May, 2009
• Jonathan Aldrich at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Programming languages, Type systems, Verification, Concurrency, Security. Current language projects include concurrency, typestate, better software architecture and framework abstractions, principled web programming, and an educational proof assistant. 16May, 2009
• Matthias Felleisen at PLT, Northeastern University (Boston, MA)
  Keywords: gradual and incremental introduction of types, software contracts (run-time verification and theorem proving), models of computation, pragmatics of programming, introductory computing curricula, functional programming languages 16May, 2009
• Margaret Burnett at Oregon State University (Corvallis, Oregon)
  Keywords: Theme: HCI meets software development: information foraging theory in debugging, end-user programming, gender differences in programming environments, end-user debugging of intelligent assistants. 16May, 2009
• Jake Chen at Indiana University / Purdue University (Indianapolis, IN)
  Keywords: Bioinformatics, Biological Data Management, Biological Data Mining, Computational Systems Biology, Network Biology, Discovery Informatics, Literature Mining, Scientific Information Visualization, Visual Analytics, Scholarly Communication Network 16May, 2009
• Milos Prvulovic at Georgia Institute of Technology (Atlanta, GA)
  Keywords: Many-core architectures, debugging, reliability, software monitoring, hardware security. 16May, 2009