Research Expertise and Interest
formal methods, computational logic, electronic design automation, computer security, dependable computing, Cyber-Physical Systems, programming languages
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.