Skip to main content

more options


IAI Researchers

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

AFRL/Rome Researchers

Mark Linderman Computer systems
Keesook Han Intrusion Detection Models in Large-Scale Network Systems, Data Management in Distributed Systems