Welcome!

I am a PhD Candidate at Carnegie Mellon University. My advisor is André Platzer. Currently I am a research assistant at the Karlsruhe Institute for Technology and a member of the research group Logic of Autonomous Dynamical Systems.

My research is focused on the connections between games and fixpoint logics. In particular I am interested in differential game logic and the differential mu-calculus. Currently I work on model constructions for theories of fixpoint logics.

Previously I did Part III Mathematics at the University of Cambridge. My essay was on determinacy and supercompactness of Aleph1. Before that I studied Mathematics at the University of Freiburg where I wrote a Bachelor's thesis on the consistency strength of forcing PFA by a proper order.