Trust Member Directory

Search for ...

in

Email Full Name Last Name Username

 

Susmit Jha     University of California, 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