Placeholder image

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

Latest News

Update Faculty Profile

Update your profile

In the News

Loading Class list ...
.