Sanjit Seshia

Title
Professor of Computer Science and Electrical Engineering
Department
Division of Computer Science/EECS
Division of Electrical Engineering/EECS
Research Expertise and Interest
electronic design automation, theory, computer security, program analysis, dependable computing, computational logic, formal methods

In the News