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.