Home

Ich bin seit Oktober 2018 Doktorand an der TU Dresden und werde von Prof. Dr. Manuel Bodirsky betreut. Ich erkunde die Welt der Modelltheorie. Spezifischer befasse ich mich mit Constraint Satisfaction Problemen mit endlichen Graphen als Templates. Dort habe ich mich viel mit gerichteten Kreisen beschäftigt, gerade arbeite ich an Bäumen.

Bei Fragen könnt ihr mir gerne eine Email schreiben oder in meinem Büro vorbeikommen Kontakt.

Lehre

Wintersemester 2023/24

• Diskrete Strukturen

Sommersemester 2023

• Algebra für Informationssystem­techniker

Wintersemester 2022/23

• Algebra für Informationssystem­techniker

Sommersemester 2022

• Algebra für Informationssystem­techniker

• Lineare Algebra - Weiterführende Konzepte

Wintersemester 2021/22

• Algebra für Informationssystem­techniker

• Lineare Algebra - Grundlegende Konzepte

Sommersemester 2021

• Algebra für Informationssystem­techniker

Wintersemester 2020/21

• Algebra für Informationssystem­techniker (OpalKurs)

• Mathematische Methoden für Informatiker (OpalKurs)

Sommersemester 2020

• Algebra für Informationssystem­techniker

• Diskrete Mathematik: Graphhomomorphismen und Universelle Algebra

Wintersemester 2019/20

• Algebra für Informationssystem­techniker

Konferenzen und Vorträge

• Colloquium Logicum, October 2024, Wien. 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, Oktober 2021, Dresden. CSPs with finite duality closed under primitive positive constructions
• Institutsseminar Algebra, Mai 2021, Dresden. Digraphs modulo primitive positive constructability 
• AAA99, Februar 21-23, 2020 Siena. Classification of cyclic height 1 conditions
• Research Exchange Trip "Universal Algebra and CSP", November 20-21, 2019, Prague
• QuantLA Workshop, Oktober 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 Juli - 2 August, 2019, Prag.
• AAA98, Juni 21-23, 2019, Dresden. The Return of the Smooth Digraphs modulo pp-constructability (Dark Version, tex)
• QuantLA Spring school, März 25-29, 2019, Krippen.
• AAA97, März 1-3, 2019, Wien. Smooth Digraphs modulo pp-constructability (tex)

Articles in refereed journals

• The Smallest Hard Trees, mit Manuel Bodirsky, Jakub Bulín, und Michael Wernthaler in Constraints
• Maximal Digraphs With Respect to Primitive Positive Constructibility, mit Manuel Bodirsky in Combinatorica
• Smooth digraphs modulo primitive positive constructability, mit Manuel Bodirsky und Albert Vucaj in International Journal of Algebra and Computation
• Uniform Parsing for Hyperedge Replacement Grammars,  mit Henrik Björklund, Frank Drewes, Petter Ericson in Journal of Computer and System Sciences (preprint)
• On associative operations on commutative integral domains, mit Erkko Lehtonen
• Exploring the topological entropy of formal language (ArXiv:1801.07321)
• ASNP: a tame fragment of existential second-order logic, mit 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.

Preprints