Research Expertise and Interest
formal methods, computational logic, electronic design automation, computer security, dependable computing, Cyber-Physical Systems, programming languages
Research Description
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.
In the News
$4.6 million grant to improve how automated cars, drones interact with humans
As companies contemplate putting self-driving cars on our city streets, driverless trucks on our freeways and autonomous delivery drones overhead, UC Berkeley engineers are embarking on a major project to improve the safety of these vehicles and how they interact with humans.
Loading Class list ...