William Harris

Assistant Professor
Research Areas: 
Programming languages, program verification and synthesis

William Harris will earn his doctorate at the University of Wisconsin-Madison, where he was advised by Somesh Jha and Thomas Reps. He studies program synthesis, analysis and verification and has developed tools that generate programs to help operating systems meet specified security requirements even if the underlying components may not be trusted. He also worked manipulating tabular data by example which appeared as a CACM Research Highlight and playing a role in the new Flash Fill feature in Excel 2013.

Harris received his bachelor’s degree from Purdue University in 2007 and his master’s from the University of Wisconsin-Madison in 2011. He has worked as a visiting researcher for NEC Labs America and Microsoft Research. He was a Microsoft Research Fellow from 2010-2011.


Institute for Information Security and Privacy (IISP)