Home
Since October 2018 I am a PhD student 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.
Teaching
Wintersemester 2020/21
-
Algebra für Informationssystemtechniker (OpalKurs)
-
Mathematische Methoden für Informatiker (OpalKurs)
Sommersemester 2020
-
Algebra für Informationssystemtechniker
-
Diskrete Mathematik: Graphhomomorphismen und Universelle Algebra
Wintersemester 2019/20
-
Algebra für Informationssystemtechniker
Conferences and Talks
- CSP World Congress, Sep 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
- 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.
Preprints
- Smooth digraphs modulo primitive positive constructability, with Manuel Bodirsky and Albert Vucaj
- Maximal Digraphs With Respect to Primitive Positive Constructibility, mit Manuel Bodirsky
- The Smallest Hard Trees, mit Manuel Bodirsky, Jakub Bulín, und Michael Wernthaler