Published papers
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction. with Michael Pinsker, Jakub Rydval, and Christoph Spiess. 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). This is a conference version of the arxiv preprint listed below.
Arxiv Preprints
Janus-faces of temporal constraint languages: a dichotomy of expressivity. with Johanna Brunar and Michael Pinsker. Submitted. [arxiv]
The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra. with Michael Pinsker, Jakub Rydval, and Christoph Spiess. [arxiv]
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction. with Michael Pinsker, Jakub Rydval, and Christoph Spiess. A conference version appeared at MFCS 2025. [arxiv]
Algebraicity is irrelevant (in the dichotomy conjecture for infinite-domain constraint satisfaction problems). Summer School on General Algebra and Ordered Sets (SSAOS 2025). Blansko, Czech Republic, September 2025.
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction. 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Warsaw, Poland, August 2025.
Tutorial on eliminating algebraicity in the Bodirsky-Pinsker Conjecture on infinite-domain constraint satisfaction. 5th POCOCOP Meeting. Dresden, Germany, March 2025.
Eliminating algebraicity and enforcing injectivity in infinite-domain constraint satisfaction. PALS - Panglobal Algebra and Logic Seminar. Online, February 2025. [slides]
Future Visits & Conferences
6th POCOCOP Meeting. Vienna, Austria, November/December 2025. organiser.
108. Arbeitstagung Allgemeine Algebra (AAA108). Vienna, Austria, February 2025.
Past Visits & Conferences
CSP World Congress (CWC 2025). Cervinia, Italy, September 2025.
Summer School on General Algebra and Ordered Sets (SSAOS 2025), Blansko, Czech Republic, September 2025. talk: Algebraicity is irrelevant (in the dichotomy conjecture for infinite-domain constraint satisfaction problems).
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Warsaw, Poland, August 2025. talk: Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction.
Conference in honor of Saharon Shelah’s 80th birthday. Vienna, Austria, July 2025.
Infinite CSP Research Retreat. Marciana, Italy, June 2025.
The Roaming Logic Conference. Warsaw, Poland, May 2025.
5th POCOCOP Meeting. Dresden, Germany, March 2025. talk: Tutorial on eliminating algebraicity in the Bodirsky-Pinsker Conjecture on infinite-domain constraint satisfaction.
4th POCOCOP Meeting. Vienna, Austria, November 2024. Organiser.
Colloquium Logicum 2024. Vienna, Austria, October 2024.
CSP World Congress (CWC 2024). Colfosco, Italy, September 2024.
105. Arbeitstagung Allgemeine Algebra (AAA105). Prague, Czech Republic, May/June 2024.
3rd POCOCOP Meeting. Dresden, Germany, March 2024.
2nd POCOCOP Meeting. Prague, Czech Republic, November/December 2023.
Growth of the bounds for the monodromy matrix of a canonical system. Master's Thesis, supervised by Harald Woracek. [pdf]
Ein Spektralsatz für beschränkte, definisierbare, normale, lineare Operatoren auf Kreinräumen. Bachelor's Thesis, supervised by Michael Kaltenbäck. [pdf]
Diplomarbeitspreis der Stadt Wien 2024 (price for best master's theses)
Early Student Award 2020 awarded by the Austrian Mathematical Society