Bill Harris

Hi, I'm a (DATE - Fall 2007)th PhD student at the University of Wisconsin-Madison. I graduated from Purdue University with a Bachelor's in computer science and mathematics.

I'm a member of the UW-Madison Programming Languages Group, and am advised by Somesh Jha and Thomas Reps.

I'm very grateful to have my work supported by a Microsoft Research Fellowship.

I've also been fortunate to work with:

• the Systems Analysis and Verification group at NEC Labs, where I worked with Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta.
• the Rigorous Software Engineering group at Microsoft Research India, where I worked with Akash Lal, Aditya Nori, and Sriram Rajamani.
• the Research in Software Engineering group at Microsoft Research Redmond, where I worked with Sumit Gulwani.

CV: PDF