Lorenzo Alvisi -- Software reliability, distributed computing, fault tolerance, Byzantine replication, incentive-based systems
James C. Browne -- secure grid computing, model-based control, model-checking for UML
William Cook -- programming languages, safe queries
Michael D. Dahlin -- trustworthy large-scale systems, distributes systems, file systems, Byzantine fault tolerance, incentive-based systems
E. Allen Emerson -- software and hardware correctness, formal methods, model checking, temporal logic
Anna Gal -- computational complexity, fault tolerance, randomness, private computation
Warren A. Hunt Jr. -- microprocessor verification, formal models, specification and mechanical proofs
Simon Lam -- network security services, secure group communication
Calvin Lin -- compilers, error-checking
Aloysius K. Mok -- robust real-time systems, system architecture, software engineering
J Strother Moore -- mechanical theorem proving, ACL2
Lili Qiu -- wireless networks, network measurement, IP telephony, packet classification and security
Vitaly Shmatikov -- privacy, password cracking, analysis of security protocols, denial of service, fair exchange, anonymity, trust management
Harrick M. Vin -- packet-processing systems, distributed systems, real-time systems
Sriram Vishwanath -- information theory, wireless communication
Emmett Witchel -- hardware and operating system support for security, fault diagnosis
William D. Young -- automated reasoning, computer security, program verification
Yin Zhang -- computer networks, anomoly and intrusion detection, network measurement, XML routing, overlay routing and multi-homing
David Zuckerman -- pseudorandomness, cryptography and security
