Bill Harris

Hi, I'm a (DATE - Fall 2007)th-year PhD student at the University of Wisconsin-Madison, where I'm advised by Somesh Jha and Thomas Reps.

I've also been fortunate to work with:

• the Systems Analysis and Verification group at NEC Labs.
• the Rigorous Software Engineering group at Microsoft Research India.
• the Research in Software Engineering group at Microsoft Research Redmond.

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

CV: PDF