Avishay Tal Division of Computer Science (EECS) theory(THY), complexity theory, analysis of Boolean functions, randomness in computation, quantum computation
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
Avishay Tal
