← Back to People 
Sanjit A. Seshia
Professor
Formal methods, computer security, cyber-physical systems, and computational learning, with a current focus on trustworthy AI.
Formal methods, computer security, cyber-physical systems, and computational learning, with a current focus on trustworthy AI.