Bio

William Harris is an assistant professor of Computer Science in the School of Computer Science in the College of Computing at the Georgia Institute of Technology. His current research focuses on addressing problems in program security and correctness. He has worked as a visiting researcher for NEC Labs America and Microsoft Research. He was a Microsoft Research Fellow from 2010 - 2011. Work that he performed while visiting Microsoft, in combination with work performed by his mentor Sumit Gulwani and collaborator Rishabh Singh, was cited by Communications of the ACM as a "Research Highlight."  Harris received his bachelor’s from Purdue University, his master’s from the University of Wisconsin-Madison, and his doctorate from the University of Wisconsin-Madison, where he was advised by Somesh Jha and Thomas Reps.