| Ken Birman |
Distributed computing, fault-tolerant network systems, distributed systems security, large-scale network applications |
| Robert L. Constable |
Applied logic, automated reasoning, software assurance |
| Rich Caruana |
Machine learning and data mining |
| Alan Demers |
Database systems, database replication, and algorithms |
| Paul Francis |
Peer-to-peer applications, overlay networks, network host proximity, Internet scaling, and IP mobility |
| Johannes Gehrke |
Database systems and data mining |
| Joseph Y. Halpern |
Reasoning about knowledge and uncertainty, distributed computing, security |
| Jon Kleinberg |
Algorithms that exploit the combinatorial structure of networks and information |
| Dexter Kozen |
Proof carrying code, program logics, and semantics |
| Andrew Myers |
Programming languages, security, mobile code |
| Rafael Pass |
Cryptography and Secure Protocols |
| Radu Rugina |
Programming languages and compilation techniques for program understanding, verification, and transformation |
| Fred B. Schneider |
Distributed systems security and fault-tolerance, mobile code, concurrent programming |
| Emin Gun Sirer |
Secure distributed systems, extensible operating systems, language-based security, automated testing |
| Robbert Van Renesse |
Distributed computing, fault-tolerant network systems, distributed systems security, large-scale network applications |
