The People of CIAS

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

Fred R. Chang -- Information Assurance and Security

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

Roy Jenevein -- Computer network architecture, system modeling, network security, computer forensics and parallel architectures

Matt Kaufmann -- mechanical theorem proving, ACL2

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