I'm a PhD student in Theoretical Computer Science and Theorem Proving at LMU Munich under the supervision of Jasmin Blanchette. I am also a member of Helmut Seidl's group for Formal Languages, Compiler Construction, Software Construction at Technical University of Munich, and the DFG Research Training Group ConVeY.