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.