Christoph Spiess
Technische Universität Wien
Department for Discrete Mathematics and Geometry
FB1 Algebra Group
TU Wien, Wiedner Hauptstraße 8-10, 1040 Wien
📧: firstname[.]lastname[at]tuwien[.]ac[.]at
Embedded Files
Christoph Spiess
About me
About me
I am a PhD candidate in mathematics at TU Wien and a member of the Algebra Group led by Michael Pinsker. I am also affiliated with the ERC Synergy Grant POCOCOP.
My research combines ideas from universal algebra, model theory, and the theory of computational complexity. In particular, I study algebraic and logical aspects of Constraint Satisfaction Problems (CSPs) and Promise Constraint Satisfaction Problems (PCSPs).
Publications
Publications
Published papers
Published papers
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
with Michael Pinsker, Jakub Rydval, and Moritz Schöbi
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)
This is a conference version of the arxiv preprint listed below
ArXiv preprints
ArXiv preprints
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]
Conferences and Talks
Conferences and Talks
09/2026 CSP World Congress (CWC 2026). tbd
08/2026 VSM Summer School. Strobl, Austria.
05/2026 BLAST 2026. Waco, TX, USA.
Talk: Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction [slides]
04/2026 Kurt Gödel's Birthday Colloquium. Vienna, Austria.
04/2026 Mathematics of Constraint Satisfaction Problems. Durham, UK.
Talk: Everything is a cheese (From infinite CSPs to finite PCSPs) [slides]
03/2026 VSM Student Retreat. Yspertal, Austria. (Organiser)
Talk: CSPs of Hrushovski Constructions
03/2026 7th POCOCOP Meeting. Prague, Czechia.
02/2026 108. Arbeitstagung Allgemeine Algebra (AAA108). Vienna, Austria.
Talk: Algebraic characterizations of logical expressibility of (P)CSPs [slides]
12/2025 6th POCOCOP Meeting. Vienna, Austria.
12/2025 Infinite Structural Ramsey Theory. Banff, Canada. (Online participant)
09/2025 CSP World Congress (CWC 2025). Cervinia, Italy.
09/2025 Summer School on General Algebra and Ordered Sets (SSAOS 2025). Blansko, Czechia.
Talk: An ω-categorical cheese platter for finite-domain Promise Constraint Satisfaction Problems [slides]
08/2025 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Warsaw, Poland.
Talk: Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction [slides]
07/2025 Conference in honor of Saharon Shelah’s 80th birthday. Vienna, Austria, July 2025.
06/2025 Infinite CSP Research Retreat. Marciana, Italy.
05/2025 The Roaming Logic Conference. Warsaw, Poland.
04/2025 VSM Student Retreat. Yspertal, Austria.
Talk: An intro to (P)CSPs
03/2025 5th POCOCOP Meeting. Dresden, Germany.
Talk: Connections between infinite-domain CSPs and finite-domain PCSPs
11/2024 4th POCOCOP Meeting. Vienna, Austria.
09/2024 CSP World Congress (CWC 2024). Colfosco, Italy.
05/2024 105. Arbeitstagung Allgemeine Algebra (AAA105). Prague, Czech Republic, May/June 2024.
Awards
Awards
Diplomarbeitspreis der Stadt Wien 2025 (price for best master's theses)
Page updated
Google Sites
Report abuse