Short CV

2011-2014: Bsc in Computer Science at WWU Münster (minor in Mathematics)
2014-2017: Msc in Computer Science at WWU Münster (with distinction)
2017-: PhD in the research group of Prof. Markus Müller-Olm

Research Interests

I am generally interested in theoretical computer science, with a focus on formal verification, logic in computer science, formal language theory and automata theory. My current research projects involve the development of temporal logics for the verification of pushdown systems and temporal logics and automata for hyperproperties.


See my  DBLP page.

Reviewer Activities

I have reviewed submissions for the following conferences: NETYS 2018, SETTA 2018, ESOP 2019, FSTTCS 2020, LICS 2021.