*banner
 
Margin Top
Margin Bottom
 

Chess Member Directory

Search for ...    in

Susmit Jha
    EECS, UC Berkeley

Username:jha
Email:jha@eecs.berkeley.edu
(To view user contact information, please log in.)
Home page:http://www.eecs.berkeley.edu/~jha
Bio:Interested in formal methods, formal verification of hardware and software systems, systems biology, embedded systems
Group memberships
 
You are not logged in 
©2002-2009 Chess