Team for Research in
Ubiquitous Secure Technology

 

 
Susmit Jha
    University of California, Berkeley

Username:jha
Email:jha@eecs.berkeley.edu
 
 
 
 
Home page:http://www.eecs.berkeley.edu/~jha
Bio:  Interested in formal methods, formal verification of hardware and software systems, systems biology, embedded systems