Bill Harris

Hi, I'm a third year graduate student working towards a PhD at the University of Wisconsin-Madison. I graduated from Purdue University with a Bachelor's in computer science and mathematics. I am a member of the UW-Madison Programming Languages Group. I am advised by Somesh Jha and Thomas Reps.

I've also been fortunate to work with the Systems Analysis and Verification group at NEC Labs and the Rigorous Software Engineering group at Microsoft Research India.

CV:PDF

I maintain a wiki (linked from the sidebar) for collaborating on projects. If you'd like to share reviews of technical papers or work with me on any group projects, please check it out.