Kevin Joseph Leach

For the Winter 2018 semester, I am teaching EECS 483 — Compiler Construction.

I am Senior Research Fellow in the Computer Science and Engineering Division at the University of Michigan—Ann Arbor. Previously, I was a Research Scientist in the Robust Low Power VLSI group at the University of Virginia. I received my PhD in Computer Engineering at the University of Virginia under the guidance of Wes Weimer. My work is in systems security, specifically the debugging transparency problem, though I occasionally work on program analysis, medical informatics, and big data applications.

I received my MS in Computer Science at George Mason University in 2013. My advisor was Angelos Stavrou. I received my BS with Distinction in Computer Engineering and Computer Science from the University of Virginia in 2011.

Milestones at a Glance

• September 2017 — I accepted a Senior Research Fellow position at the University of Michigan in Ann Arbor.
• December 2016 — I successfully defended my doctoral dissertation.
• April 2016 — I received the Louis T. Rader Graduate Research Award.
• May 2015 — I successfully defended my dissertation proposal.
• August 2014 — I successfully passed my Qualifying Exam.
• January 2014 — I received an $81k grant from MIT Lincoln Laboaratory to support my PhD research.
• May 2013 — I received my MS in Computer Science from George Mason University