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
Supervised Independent Study [COMPSCI 199]
Individual Research [COMPSCI 299]
Formal Methods: Specification, Verification, and Synthesis [EECS 219C]
Supervised Independent Study [ELENG 199]
Individual Research [ELENG 299]
Master of Engineering Capstone Project [ENGIN 296MB]
Supervised Independent Study [COMPSCI 199]
Individual Research [COMPSCI 299]
Professional Preparation: Supervised Teaching of Computer Science [COMPSCI 399]
Introduction to Embedded Systems [COMPSCI C249A]
Senior Honors Thesis Research [COMPSCI H196A]
Introduction to Embedded and Cyber Physical Systems [EECS 149]
Supervised Independent Study [ELENG 199]
Individual Research [ELENG 299]
Introduction to Embedded Systems [ELENG C249A]
Master of Engineering Capstone Project [ENGIN 296MA]
Field Studies in Computer Science [COMPSCI 297]
Field Studies in Electrical Engineering [ELENG 297]
Individual Research [ELENG 299]
Supervised Independent Study [COMPSCI 199]
Individual Research [COMPSCI 299]
Senior Honors Thesis Research [COMPSCI H196A]
Senior Honors Thesis Research [COMPSCI H196B]
Formal Methods: Specification, Verification, and Synthesis [EECS 219C]
Supervised Independent Study [ELENG 199]
Individual Research [ELENG 299]
Master of Engineering Capstone Project [ENGIN 296MB]