Somesh Jha, University of Wisconsin