I am a research associate with Prof. Mike Gordon at the University of Cambridge Computer Lab, working on Expressive Multi-theory Reasoning for Interactive Verification. My research interests include automated and interactive theorem proving, formal verification, programming languages, digital security, and computational logic. I used to be a post-doctoral researcher in the Digital Security group at Radboud University Nijmegen. I am a former Ph.D. student of Prof. Tobias Nipkow at Technische Universität München, and a former member of the Graduiertenkolleg Logik in der Informatik.