Placeholder image

Sanjit Seshia

Professor of Computer Science and Electrical Engineering
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 ...