Tomáš Nagy
Research
I am a postdoctoral researcher at the Faculty of Mathematics and Computer Science of the Jagiellonian University, working with Marcin Kozik. I obtained my PhD degree in October 2023 at the TU Wien under the supervision of Michael Pinsker. I am interested in applications of universal algebra to the problems from theoretical computer science, in particular to the constraint satisfaction problem over infinite domains.
Department of Theoretical Computer Science
Most of the time, you cannot find me in room 3148
30-348 Kraków
tomas.nagy (at) email.com
Reviews
"A man without a vision."
"I swear, this guy was normal two years ago. Now, I cannot even fire him anymore."
"Ärgern, necken, frotzeln." (EN: "Tease, tease, tease.")
Johanna Brunar
"Man, you are crazy."
"Next time, you will end up in a wheelchair."
Publications
Strict width for Constraint Satisfaction Problems over homogeneous structures of finite duality [arXiv]
(with Michael Pinsker)
Submitted.
An order out of nowhere: a new algorithm for infinite-domain CSPs [arXiv]
(with Antoine Mottet, and Michael Pinsker)
51st EATCS International Colloquium on Automata, Languages and Programming (ICALP 2024), to appear.
When symmetries are enough: collapsing the bounded width hierarchy for infinite-domain CSPs [arXiv]
(with Antoine Mottet, Michael Pinsker and Michał Wrona)
Submitted.
Smooth approximations and relational width collapses [arXiv] [DOI]
(with Antoine Mottet, Michael Pinsker and Michał Wrona)
Proceedings of the 48th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2021), 138:1-138:20, 2021.
Non-affine latin quandles of order 2k [arXiv] [DOI]
Journal of Algebra and Its Applications, Vol. 20, No. 06, 2150103 (2021)
Theses
Algorithmic Techniques for Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures [pdf]
PhD thesis, 2023, supervised by Michael Pinsker.
Barvení uzlů (Coloring knots) [pdf]
Bachelor thesis, supervised by David Stanovský.
Talks
2024/06 Neoliberalism and local consistency [slides]
105. Arbeitstagung Allgemeine Algebra, Charles University
2022/10 The Bodirsky-Pinsker conjecture for reducts of hypergraphs [abstract] [abstract, part 2]
Algebra Seminar, TU Wien
2022/06 Between heaven and hell: The Bodirsky-Pinsker conjecture for hypergraphs [slides]
102. Arbeitstagung Allgemeine Algebra, University of Szeged
2022/05 Hypergraphs in the post-proof era [slides]
The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl
2021/07 Smooth Approximations and Relational Width Collapses [slides] [recording]
48th International Colloquium on Automata, Languages and Programming (ICALP 2021) (online)
2021/06 Relational Width Collapses [slides]
101. Arbeitstagung Allgemeine Algebra, University of Novi Sad (online)
2019/07 Left distributive quasigroups of order 2k [slides]
LOOPS 2019, Budapest University of Technology and Economics
2019/04 Self-distributive quasigroups
Seminar Logic and Theoretical Computer Science, University of Bern
Conferences and workshops participations
2024/07 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP 2024)
Tallinn, Estonia.
2020/09 Summer school of the Vienna School of Mathematics
Weißensee, Austria.