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 several open positions, see SECTRS group page.