I am an assistant professor at the Computer Science department in ETH Zurich. I lead the Secure & Trustworthy Systems (Sectrs) group. 

My research lies at the intersection of trusted computing, system security, program analysis, and formal verification. 

Before joining ETH, I was a postdoctoral scholar at UC Berkeley. I did my PhD at National University of Singapore.