Michael Pinsker

Michael Pinsker is a full professor and head of the Research Unit Algebra at the Vienna University of Technology. He is a leading researcher in universal algebra, model theory, and theoretical computer science, with a strong focus on constraint satisfaction problems (CSPs), particularly over infinite domains. He is deeply involved in the Vienna School of Mathematics and serves on the steering committees of the Workshop on General Algebra and the CSP World Congress (CWC), which he regularly co-organizes.

• Principal Investigator, ERC Synergy Grant POCOCOP (2023–2029)
• Principal Investigator, FWF-NCN Project on Constraint Satisfaction (2022–2026)
• Associate Editor, Algebra Universalis (Springer)
• Member, Executive Board, Vienna School of Mathematics

His research lies at the intersection of algebra, logic, and computation, emphasizing the algebraic and model-theoretic analysis of infinite structures to understand the complexity of CSPs. He investigates how symmetry, topology, and polymorphisms govern tractability and hardness. His work often connects Ramsey theory and homogeneous structures with computational problems.

His recent publications reveal a sustained focus on infinite-domain CSPs, particularly through algebraic methods like polymorphisms, smooth approximations, and topological clones. Trends include collapsing width hierarchies, establishing hardness criteria for infinite digraphs, and developing new algorithms based on symmetry and consistency. His work bridges finite and infinite model theory, aiming to unify complexity classification frameworks.

• ERC Synergy Grant POCOCOP (2023)
• Distinguished Paper Award, LICS 2023

Pinsker actively mentors PhD students and postdoctoral researchers, including current advisees like Johanna Brunar, Moritz Schöbi, Roman Feller, and Christoph Spiess. He has advised former PhD students Clemens Schindler, Tomas Nagy, and Michael Kompatscher. He leads major research projects funded by the European Research Council and national science foundations, indicating significant grant leadership. His collaborative network includes Libor Barto, Manuel Bodirsky, and Marcin Kozik.

He leads the Research Unit Algebra at TU Wien, which includes faculty, postdocs, PhD students, and project managers working on universal algebra and CSPs. He co-organizes major annual events like the CSP World Congress and the Early Student Award meetings of the Austrian Mathematical Society, fostering community and collaboration.