Home

I am a research scientist at the Software Reliability Lab at ETH Zurich, where I work on topics at the intersection of Security, Program Synthesis, Probabilistic Programming, and Machine Learning. I obtained my PhD and Master's degree from ETH Zurich in 2016 and 2012, respectively. Before that, I studied Computer Science at Georgia Tech, where I completed my Bachelor's degree in 2010.

Research Goal My research goal is to enable the construction of provably secure systems. Towards this goal, I combine techniques and concepts from various domains, such as Programming Languages and Machine Learning, to develop novel solutions to practical problems in Computer Security.