Embedded Member Directory

...     in 

 

photo of Sanjit Seshia
 
Sanjit Seshia
    University of California, Berkeley

Username:saseshia
 
 
 
 
(To view user contact information, please log in.)
Home page:http://www.eecs.berkeley.edu/~sseshia
Bio:  Sanjit Seshia is an Associate Professor in EECS at UC Berkeley. Seshia has made important contributions in combination of formal methods and machine learning for system verification and synthesis, particularly for embedded systems and computer security.
Group memberships
 
You are not logged in 
Contact 
©2002-2017 U.C. Regents