Alvin Cheung Division of Computer Science (EECS) program analysis, program synthesis, database application performance, big systems, big data, database management, database management systems, database design and construction, programming languages and compilers, programming languages
Koushik Sen Division of Computer Science (EECS) computer science, programming systems, software engineering, programming languages, computational logic, software testing, verification, model checking, runtime monitoring, performance evaluation
Sarah Chasins Division of Computer Science (EECS) programming systems, human-computer interaction, programming languages, programming languages and compilers, program synthesis, data science
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
Venkatesan Guruswami Dept of Mathematics Division of Computer Science (EECS) theoretical computer science, coding theory, approximate optimization, randomness in computation, computational complexity
Rishabh Iyer Division of Computer Science (EECS) operating systems & networking, computer architecture, large-scale distributed systems