Michael Kompatscher

Institut für Computersprachen
Theory and Logic Group
Technische Universität Wien
Favoritenstrasse 9/E1852
A-1040 Wien

Room: HD0423 (Stiege 3 / 4.Stock)

Telephone: +43 (1) 58801 - 185 44

Email: michael@logic.at


I am a PhD student in Mathematics at TU Wien since 2015, my supervisor is Michael Pinsker. I am employed in the project P27600 Oligomorphic clones of the Austrian Science Fund (FWF), which is carried out at the Theory and Logic Group of TU Wien.

My research interests include model theory, universal algebra, Ramsey theory and theoretical computer science. In particular I am interested in clones, homogeneous structures and their applications in constraint satisfaction.

News / Upcoming talks



2017/03 A complexity dichotomy for poset constraint satisfaction - STACS2017, Hannover
2017/02 A new proof of the existence of cores of ⍵-categorical structures - AAA93, FH Bern - [slides]
2017/01 The two dichotomy conjectures for infinite domain CSPs - talk in the Theory and Logic Seminar of TU Wien
2016/11 An introduction to Ramsey theory, at the Fall school of the Algebra department of Charles University - [slides]
2016/08Constraint satisfaction problems over the random poset, at the Logic Colloquium 2016, Leeds
2016/05 CSPs over the random partial order, at AAA92 in Prague - [slides]
2016/04 Constraint satisfaction problems over infinite domains
with Trung Van Pham, in the Theory and Logic Seminar of TU Wien - [slides]
2016/04A complexity dichotomy for Poset-SAT in the Algebra Seminar of TU Wien - [slides]
2016/022 many maximal-closed subgroups of Sym(⍵) via Henson digraphs
at New Pathways between Group Theory and Model Theory in Mülheim an der Ruhr - [slides]
2015/12Maximal subgroups of Sym(⍵) via Henson digraphs
in the KAFKA Seminar, Charles-University Prague - [slides]
2015/11A counterexample on the reconstruction of oligomorphic clones
at the workshop Homogeneous structures at BIRS, Banff - [video]
2015/10 Algebraic methods in constraint satisfaction at Matej Bel University, Banská Bystrica
2015/10Reducts of Henson digraphs in the Wiener Algebra Seminar of TU Wien
2015/06Endomorphism monoids of ⍵-categorical structures at TACL 2015, Ischia, Italy - [slides]
2015/05Dichotomy results for constraint satisfaction problems at PhDs in Logic VII, TU Wien - [slides]
2015/04Reconstruction of ⍵-categorical structures in the KAFKA Seminar, Charles-University Prague
2015/04 Endomorphism monoids of ⍵-categorical structures in the International Seminar of the Institut für Algebra, TU Dresden - [slides]
2014/10Definierbare Strukturen in the Algebra Seminar of TU Wien

Other conferences and workshops

Curriculum Vitae

You can find a CV in pdf-format here (uploaded 2016/06/13).