Biography

I am a Postdoc at the Algorithms and Complexity Group at TU Vienna. Before, I received my PhD at the Theory Group at RWTH Aachen University.

Research Interests

• Structural Graph Theory. Since many algorithmic graph problems are hard in general, I am interested in finding the most general graph classes for which certain hard problems remain tractable. I am therefore currently studying the structure of monadically stable and monadically dependent graph classes.
• Algorithmic Meta-Theorems. The model-checking problem asks whether a given logical sentence holds on a given structure. I like working on this problem because it generalizes many other problems and therefore can lead to very general tractability results.

Material

• Slides from my one-week course on structural graph theory at AlgoMaNet 2024: Monday, Tuesday, and Wednesday.
• Slides of my tutorial about monadic stability at LoGAlg 2023.
• In 2021, I held a course about algorithmic meta-theorems. If you are interested for example in a simple proof of Courcelle’s theorem, you can find slides and recordings of the course here.
• Slides of my talk about Lacon- and Shrub-decompositions at the 2021 Dagstuhl seminar on Sparsity.
• Slides and video of my talk about Lacon- and Shrub-decompositions at LICS 2021.
• Slides of my talk about Lacon- and Shrub-decompositions at the Automata Theory Seminar in Warsaw.
• Slides of my talk about complex networks and sparsity at the weekly seminar at IUUK.
• Slides of my talk about sparse and dense graphs at the weekly seminar at IUUK.
• Slides and video of my talk about approximate evaluation of first-order counting queries at SODA 2021.
• Slides and video of my talk about first-order model-checking in random graphs and complex networks at ESA 2020.
• Slides and video of my talk about shallow clique minors in preferential attachment graphs at RANDOM 2020.
• My talk about algorithmic meta-theorems for exact and approximate counting in sparse graph classes at the algorithms seminar in Bergen.
• My talk about motif counting in preferential attachment graphs at FSTTCS 2019.
• My talk about hardness of first-order model-checking on random graphs at IPEC 2019.
• My talk about concentration bounds for the degrees of vertices in preferential attachment graphs at Random Structures and Algorithms 2019.
• My talk about efficient model-checking for first-order logic on preferential attachment graphs at TACO Day 2018.

PhD Thesis

My PhD thesis with the title “Two New Perspectives on Algorithmic Meta-Theorems”. The slides from my defense are here.