University of Virginia | | John C. Knight (PI) | Professor of Computer Science
Software reliability and software engineering | | Jack W. Davidson | Professor of Computer Science
Compilers, code generation, optimization, security, computer architecture | | David Evans | Associate Professor of Computer Science
Code safety, annotation-assisted static checking, and programming large-scale dynamic networks of devices. | | Westley Weimer | Professor of Computer Science
Software quality and reliability | | Anh Nguyen-Tuong | Senior Scientist
Dependability for safety-critical systems and survivability for large-scale networks. | University of California, Davis | | Hao Chen | Assistant Professor of Computer Science
Computer Security | | Karl N. Levitt | Professor of Computer Science
Computer Security, System Verification | | Jeff Rowe | Staff Researcher
| | Zhendong Su | Associate Professor of Computer Science
Programming Languages, Software Engineering, Computer Security | | S. Felix Wu | Professor of Computer Science
Computer security, Computer Networks | University of California, Santa Barbara | | Fred Chong | Professor, Director of Computer Engineering
Computer architecture, novel computing technologies, quantum computing, embedded systems, and architectural support for system security and reliability | University of New Mexico | | Stephanie Forrest | Professor and Chairman of Computer Science
Biology and computation, including biologically inspired approaches to computer security, computational modeling of biological systems (immunology, cancer, and evolution), computer immunology, and evolutionary computation. | | Jared Saia | Professor of Computer Science
Designing provably good algorithms for practical problems. Theoretical interests include: approximation algorithms for NP-Hard problems, randomized algorithms, graph theory and online algorithms. Designing provably good algorithms for problems in peer-to-peer and distributed systems. |
|
People
