John D. Kubiatowicz Division of Computer Science/EECS computer architecture, quantum computer design, internet-scale storage systems and peer-to-peer networking, operating systems & networking, computer security
Sanjit Seshia Division of Computer Science/EECS Division of Electrical Engineering/EECS electronic design automation, theory, computer security, program analysis, dependable computing, computational logic, formal methods
David Wagner Division of Electrical Engineering/EECS computer security, secure electronic voting, web security, mobile security, cellphone security