Bill Harris

Picture of Bill
Hi, I'm a (DATE - Fall 2007)th-year PhD student at the University of Wisconsin-Madison, where I research how techniques from programming languages, program verification, and program synthesis can be applied to write secure programs.

My advisors are Somesh Jha and Thomas Reps. I've also been fortunate to work with:

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

I am interested in academic positions starting in Fall 2014. If you are looking for a new faculty member to join your department, please read on.

 
Computer Sciences | UW Home