Sanjit Seshia     University of California, Berkeley Username: saseshia         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.