Research Bio
Sanjit Seshia is the Cadence Founders Chair in the Department of Electrical Engineering and Computer Science. His research group develops theory and tools to aid the construction of provably dependable and secure systems. Their work spans several abstraction layers, from mathematical models, through software, to electronic and biological substrates.
Research Expertise and Interest
formal methods, computational logic, electronic design automation, computer security, dependable computing, Cyber-Physical Systems, programming languages
In the News
$4.6 Million Grant to Improve How Automated Cars, Drones Interact With Humans
Teaching
Formal Methods: Specification, Verification, and Synthesis [EECS 219C - 001]
Introduction to Embedded Systems [COMPSCI C249A - 001]
Introduction to Embedded and Cyber Physical Systems [EECS 149 - 001]
Introduction to Embedded Systems [ELENG C249A - 001]