Sanjit A. Seshia

University of California, Berkeley

  • Joined December 2017

Names

Sanjit A. Seshia
,
Sanjit Seshia

Emails

****@eecs.berkeley.edu (Confirmed)

Personal Links

Education & Career History

Full Professor
University of California, Berkeley (berkeley.edu)
Present
 
PhD student
Carnegie Mellon University (cmu.edu)
1998 – 2005
 

Advisors, Relations & Conflicts

No relations added

Expertise

Formal methods
Present