•  3 min read

This page is a brief informal CV summary to show my “professional persona”, as a substitute for a LinkedIn profile (which I managed to avoid creating until now).


After getting my M.Sc. in computer science and bioinformatics at the University of Lübeck I did my PhD in theoretical computer science in the field of automata theory at the RWTH Aachen University.

Academic Writing

My bachelor’s thesis (thesis | slides) is about a decidability result for an extension of a temporal data logic.

My master’s thesis (thesis | slides) is about trying to use a sophisticated logic for an experimental approach that can be described roughly as bounded model checking with loop acceleration.

My PhD thesis (thesis | slides) is mostly about improving determinization of Büchi automata, which has applications in formal methods such as model checking and synthesis. Furthermore, I investigated and classified ambiguity behavior of Büchi automata, which then helped to get some neat results in the probabilistic setting.

My scientific publications can be found on DBLP and arXiv, or check out my ORCID.

Professional Interests

I see myself as a versatile and pragmatic general-purpose technical problem solver, who thrives on challenging, non-standard problems that have no obvious solution and require both deep and careful thought as well as creativity and intuition on the conceptual and/or technical level.

I like learning new programming languages and trying out different paradigms for programming and higher-level architecture that extend my technical and cognitive toolbox. I am always trying to combine the most suitable techniques and patterns in order to build clean, correct and robust software within given constraints.


During my time as a bachelor’s and master’s student, I worked as a student assistent for lectures on programming, algorithms and data structures and theoretical computer science. I enjoy explaining concepts and mentoring others.

I also have been a research assistent in the area of bioinformatics, where I implemented a tool to efficiently compute a novel measure for complexity of DNA.

After completing my PhD and before leaving academia I worked as an RSE, building some tools that try to improve the current RSE and RDM practices, with a special focus on scientific metadata.