Search: 
 
MuSyC Member Directory

Search for ...    in

Susmit Jha
    UC Berkeley

Username:susmitj
(To view user contact information, please log in.)
Home page:http://www.eecs.berkeley.edu/~jha/
Bio:Susmit Jha is a graduate student at UC Berkeley. He is advised by Professor Sanjit Seshia. He graduated from IIT, Kharagpur, India in 2006 with a Bachelors in Technology in Computer Science and Engineering and joined PhD program at Berkeley in August, 2006. He was supported by University Fellowship from 2006-2008. His research interests are applying formal methods and algorithmic learning for developing automatic synthesis, repair and debugging techniques which can aid programmers and design engineers. His focus areas are embedded systems, controller design and security.
Group memberships