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) formal methods, computational logic, electronic design automation, computer security, dependable computing, Cyber-Physical Systems, programming languages
Umesh Vazirani Division of Computer Science (EECS) quantum computation, hamiltonian complexity, analysis of algorithms, computer security
David Wagner Division of Electrical Engineering (EECS) computer security, secure electronic voting, web security, mobile security, cellphone security
John D. Kubiatowicz
