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
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.
I have reviewed submissions for the following conferences: NETYS 2018, SETTA 2018, ESOP 2019, FSTTCS 2020, LICS 2021.