His research is centered around developing techniques that help developers build more reliable, secure, and efficient software. He is also interested in system support for emerging hardware platforms, efficient runtime instrumentation, hardware and runtime support for enhancing system security, and program analysis. Previously, he was a researcher in the Systems and Networking Group at Microsoft Research Cambridge. He completed his PhD in the Dependable Systems Laboratory (DSLAB) at EPFL, and he previously held roles at Intel, WMware and Siemens. He received the VMware Graduate Fellowship in 2014. He is 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.