John D. Kubiatowicz Computer Science (EECS) computer architecture, quantum computer design, internet-scale storage systems and peer-to-peer networking, operating systems & networking, computer security
Sanjit Seshia Computer Science (EECS) Electrical Engineering (EECS) formal methods, computational logic, electronic design automation, computer security, dependable computing, Cyber-Physical Systems, programming languages
David Wagner Electrical Engineering (EECS) computer security, secure electronic voting, web security, mobile security, cellphone security