Somesh Jha Associate Professor Computer Sciences Department University of Wisconsin Madison, WI 53706 (608)-262-9519 jha "at" cs.wisc.edu

Background

I graduated with a Ph.D. in 1996 from the School of Computer Science at the Carnegie Mellon University. I am an associate professor in the Computer Sciences Department at the University of Wisconsin, Madison.
My resume can be found here [PDF]

Research

My main areas of interests are security and software engineering. I have a peripheral interest in computational finance, but I have not been actively involved in the area for a few years. Here are my publications, classified by area.

• Publications in Security
  I have started a blog on my thoughts in security.
• Publications in Software Engineering
• Publications in Model Checking
• Publications in Computational Finance

Projects

• The Wisconsin Safety Analyzer
  

Current Students

• Louis Kruger (Ph. D.)
• Randy Smith (Ph. D.) [co-advised with Prof. Cristi Estan]

Graduated Students