I am an assistant professor in the Electrical Engineering and Computer Science Department at the University of Michigan. My research is centered around developing techniques, tools, and environments that help developers build more reliable, secure, and efficient software. I am interested in developing techniques and building systems that allow programmers to better reason about their code. I am also interested in system support for emerging hardware platforms, efficient runtime instrumentation, hardware and runtime support for enhancing system security, and program analysis.
I am the recipient of an NSF CAREER award, a Google Faculty Award, and multiple Intel Awards. I received the 2016 Roger Needham PhD Award for the best PhD thesis in computer systems in Europe and the 2016 Patrick Denantes Memorial Prize for best PhD thesis in the Department of Information and Communication Sciences at EPFL. Previously, I was a researcher in the Systems and Networking Group at Microsoft Research Cambridge. I also held roles at Intel, VMware and Siemens. More details can be found in my CV.
I work/worked with the following group of outstanding and inspiring people:
Undergraduate students: Nathan Brown, Yineng Yang, Dexin Zhang
Former PhD students: Dr. Ofir Weisse
!! NEW !! I am looking to fund a post-doctoral researcher to work at the intersection of low-level program analysis and security. See here for more details and reach out!