I will be starting as an assistant professor of EECS at the University of Michigan in Fall 2017. I am looking for creative and motivated students to work with. If you know how to hack, read this.
I am a researcher in the Systems and Networking Group at Microsoft Research Cambridge. I completed my Ph.D. in the Dependable Systems Laboratory (DSLAB) at EPFL, advised by George Candea. My research is centered around developing techniques, tools, and environments that help developers build more reliable, secure, and efficient software. I am interested in finding solutions that allow programmers to better reason about their code, and that efficiently detect bugs, classify them, and diagnose their root cause. 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 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. I am one of the four recipients of the VMware 2014-2015 Graduate Fellowship.
During my Ph.D., I interned at Microsoft Research, VMware, and Intel. Before starting my Ph.D., I worked as a software engineer for four years, mainly developing real-time embedded systems software. More details can be found in my CV.