Biography for Somesh Jha Name: Somesh Jha Organization: Carnegie Mellon University E-mail: sjha@cs.cmu.edu Go to the abstract

Somesh Jha finished his Ph.D. in Computer Science from Carnegie Mellon University in October 1996. He is a postdoctoral fellow with the Robotics Institute, CMU. His interests are in the area of formal methods in software engineering, multi-agent architectures, and computational finance.