Search:
Note:
JavaScript is disabled
, see the
Site Map
for navigation links
GSRC Member Directory
Search for ...
in Last Name
in Username
in Full Name
in Email
Sanjit A. 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 A. Seshia is an assistant professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and a Ph.D. in Computer Science from Carnegie Mellon University, and a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in computer security, electronic design automation, and program analysis. He has received an Alfred P. Sloan Research Fellowship (2008), an NSF CAREER award (2007), and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University (2005).
Papers
Awards
Recent talks
Recent posters
Group memberships
You are not logged in
©1998-2008 GSRC
