Home
Since 2024 I am a Postdoc at TU Dresden. My supervisor is Prof. Dr. Manuel Bodirsky. I am exploring the world of model theory. More specifically I deal with constraint satisfaction problems finite digraphs as templates. I studied cycles a lot, right now I work with trees.
I am also involved in teaching. If you have any questions please feel free to write me an email or come to my office. Contact.
Interesting Stuff
Here you find an overview over the Two Element Poset.
Conferences and Talks
-
Pococop Meeting, November, 2025, Vienna.
-
CSP World Congress, September 2025, Cervinia.
-
Pococop Meeting, November, 2024, Vienna.
- Colloquium Logicum, October 2024, Vienna. Digraphs modulo primitive positive constructability
- CSP World Congress, September 2024, Colfosco.
- AAA105, Juni 2024, Prag. Weakest non-trivial finite structures
- CSP World Congress, September 2023, Weissensee.
-
CSP World Congress, September 2022, Molveno.
- AAA102, Juli 2022, Szeged. The Smallest Hard Trees
- QuantLA Workshop, October 2021, Dresden. CSPs with finite duality closed under primitive positive constructions
- Instituteseminar Algebra, May 2021, Dresden. Digraphs modulo primitive positive constructability
- AAA99, February 21-23, 2020 Siena. Classification of cyclic height 1 conditions
- Research Exchange Trip "Universal Algebra and CSP", November 20-21, 2019, Prague
- QuantLA Workshop, October 7–11, 2019, Stolpen. Smooth Digraphs modulo pp-constructability
- DMV-Jahrestagung, September 23-26, 2019, Karlsruhe. The Return of the Smooth Digraphs modulo pp-constructability
- Midsummer Combinatorial Workshop, 29 July - 2 August, 2019, Prag.
- AAA98, June 21-23, 2019, Dresden. The Return of the Smooth Digraphs modulo pp-constructability (Dark Version, tex)
- QuantLA Spring school, March 25-29, 2019, Krippen.
- AAA97, March 1-3, 2019, Vienna. Smooth Digraphs modulo pp-constructability (tex)
Articles in refereed journals
- Finite Simple Groups in the Primitive Positive Constructability Poset, with Sebastian Meyer
- Symmetric Linear Arc Monadic Datalog and Gadget Reductions, with Manuel Bodirsky
- Digraphs modulo primitive positive constructability, PhD Thesis
- The Smallest Hard Trees, with Manuel Bodirsky, Jakub Bulín, and Michael Wernthaler in Constraints
- Maximal Digraphs With Respect to Primitive Positive Constructibility, with Manuel Bodirsky in Combinatorica
- Smooth digraphs modulo primitive positive constructability, with Manuel Bodirsky and Albert Vucaj in International Journal of Algebra and Computation
- Uniform Parsing for Hyperedge Replacement Grammars, with Henrik Björklund, Frank Drewes, Petter Ericson in Journal of Computer and System Sciences (preprint)
- On associative operations on commutative integral domains, with Erkko Lehtonen
- Exploring the topological entropy of formal language (ArXiv:1801.07321)
- ASNP: a tame fragment of existential second-order logic, with Manuel Bodirsky and Simon Knäuer, in the proceedings of Computability in Europe (CiE) 2020. Preprint available at ArXiv:2001.08190. Here is our Video for the conference.