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