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

Jagiellonian University

ul. Prof. S. Łojasiewicza 6

30-348 Kraków

tomas.nagy (at) email.com


Reviews

"A man without a vision."

Antoine Mottet

"I swear, this guy was normal two years ago. Now, I cannot even fire him anymore."

Michael Pinsker

"Ärgern, necken, frotzeln." (EN: "Tease, tease, tease.")

Johanna Brunar

"Man, you are crazy."

Claudio Agostini

"Next time, you will end up in a wheelchair."

Marcin Kozik


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.


Selfdistributive quasigroups of size 2^k [pdf]

Master thesis, 2019, supervised by David Stanovský.


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/09     CSP World Congress 2024

Kolfuschg, Italy (organizer).


2023/09     CSP World Congress 2023

Weißensee, Austria (organizer).


2022/09     CSP World Congress 2022

Molveno, Italy.


2021/09     CSP World Congress 2021

Kranjska Gora, Slovenia.


2021/09     Summer school of the Vienna School of Mathematics

Weißensee, Austria.


2021/02     100. Arbeitstagung Allgemeine Algebra

Jagiellonian University in Krakov (online).


2020/09     CSP World Congress 2020

Völs am Schlern, Italy.


2020/09     Summer school of the Vienna School of Mathematics

Weißensee, Austria.