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
David Wagner Division of Electrical Engineering (EECS) computer security, secure electronic voting, web security, mobile security, cellphone security