Address:
Department of Algebra
Charles University
Sokolovska 83
186 75 Praha 8
Czech Republic
Room: 3rd floor
Email: michael@logic.at
Since December 2017 I am a postdoctoral researcher at the Department of Algebra of Charles University in Prague. I am employed in the research project PRIMUS/SCI/12 of Charles University, which is lead by Alexandr Kazda. My PhD supervisor at TU Wien was Michael Pinsker.
My research interests include universal algebra, model theory, Ramsey theory and theoretical computer science. In particular I am interested in (infinte) clones, homogeneous structures and their applications in constraint satisfaction.
The equation solvability problem over nilpotent Mal'cev algebras. [arXiv]
Preprint, 8 pages.
Ramsey expansions of metrically homogeneous graphs. [long version] [short version]
with Andrés Aranda, David BradleyWilliams, Jan Hubička, Miltiadis Karamanlis, Matěj Konečný, Micheal Pawliuk
short version in the Electronic Notes in Discrete Mathematics, Volume 61, August 2017, Pages 5360.
Equations in oligomorphic clones and the constraint satisfaction problem for ⍵categorical structures.
[conference version], [long version]
with Libor Barto, Mirek Olšák, Michael Pinsker and Trung Van Pham
conference version accepted for LICS 2017.
A complexity dichotomy for poset constraint satisfaction. [conference version] [long version]
with Trung Van Pham
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), p47:1–47:12
Uncountably many maximal subgroups of Sym(N) via reducts of Henson digraphs. [arXiv]
with Lovkush Agarwal
to appear in the Journal of Symbolic Logic, 16 pages.
A counterexample to the reconstruction of ⍵categorical structures from their endomorphism monoids. [arXiv]
with Manuel Bodirsky, David Evans, and Michael Pinsker
To appear in the Israel Journal of Mathematics, 17 pages.
Clones and homogeneous structures. [pdf]
PhD thesis, 2017, supervised by Michael Pinsker.
Gegenbeispiele zu drei Vermutungen über Kategorizität. [pdf]
Master thesis, 2014, supervised by Martin Goldstern.
2017/12:  Equation solvability in supernilpotent Mal'cev algebras, in the KAFKA Seminar  
2017/07:  ! Oligomorphic clones  tutorial with Michael Pinsker, Tianfu Universal Algebra workshop, SWUFE Chengdu, China  
2017/06  Linearization of certain nontrivial equations in oligomorphic clones at AAA94+NSAC2017, University of Novi Sad  [slides] 

2017/05  Completing edgelabelled graphs to metric spaces  AGDM Seminar, Wien  [slides]  
2017/05  Cores of omegacategorical structures  in the Algebra Seminar of TU Wien  
2017/03  A complexity dichotomy for poset constraint satisfaction  STACS2017, Hannover  [slides]  
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  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/08  Constraint 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/04  A complexity dichotomy for PosetSAT in the Algebra Seminar of TU Wien  [slides]  
2016/02  2^{⍵} many maximalclosed subgroups of Sym(⍵) via Henson digraphs at New Pathways between Group Theory and Model Theory in Mülheim an der Ruhr  [slides] 

2015/12  Maximal subgroups of Sym(⍵) via Henson digraphs in the KAFKA Seminar, CharlesUniversity Prague  [slides] 

2015/11  ! A 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/10  Reducts of Henson digraphs in the Wiener Algebra Seminar of TU Wien  
2015/06  Endomorphism monoids of ⍵categorical structures at TACL 2015, Ischia, Italy  [slides]  
2015/05  Dichotomy results for constraint satisfaction problems at PhDs in Logic VII, TU Wien  [slides]  
2015/04  Reconstruction of ⍵categorical structures in the KAFKA Seminar, CharlesUniversity Prague  
2015/04  ! Endomorphism monoids of ⍵categorical structures in the International Seminar of the Institut für Algebra, TU Dresden  [slides]  
2014/10  Definierbare Strukturen in the Algebra Seminar of TU Wien 