*banner
 
Margin Top
Margin Bottom
 

 

 
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
 
©2002-2018 Chess