I am an assistant professor at the Computer Science department in ETH Zurich. I lead the Secure & Trustworthy Systems (SECTRS) group. I am a member of the Institute of Information Security and the ZISC Center.
My research lies at the intersection of trusted computing, system security, program analysis, and formal verification. Check out my CV for more details.
My group has open positions for PhD students, Master students, and Postdocs. Please email me your CV and a short description of your research interests.
CAB F 71.2