Group members

Ondřej Suchý

Head of the group

FPT algorithms, parameterized complexity, kernelization, NP-hardness, graph algorithms.

Tomáš Valla

Combinatorics, graph theory, (algorithmic) game theory.

Dušan Knop

FPT algorithms, parameterized complexity, integer linear programming, NP-hardness, graph algorithms, (computational) social choice, game theory, (approximate) kernelization.

Michal Opler

Parameterized and computational complexity, permutation classes, graph theory, structural combinatorics.

Maria Saumell

Computational geometry, combinatorics, graph drawing.

Radek Hušek

Graph theory, cycle space of graphs, graph algorithms, combinatorics.

Tomáš Jakl

Game comonads, duality theory, pointfree topology, paraconsistent and modal logics.

Jan Volec

Extremal and probabilistic combinatorics, Ramsey theory, Structural graph theory

Foivos Fioravantes

Structural and algorithmical graph theory, graph colouring, combinatorial game theory, efficient (parameterised) algorithms and lower bounds on complexity results.

Nikolaos Melissinos

Computational complexity, graph theory, (in)approximability, and parameterized algorithms.

Krisztina Szilágyi

Graph algorithms, parameterized complexity, lower bounds

Pedro Araújo

Extremal and probabilistic combinatorics

Alexander Clifton

Extremal combinatorics, Ramsey theory, graph drawing, and graphs reconstruction.

Jan Matyáš Křišťan

Graph theory, combinatorics, combinatorial and algorithmic game theory.

Šimon Schierreich

Computational social choice, social networks analysis, parameterized algorithms and complexity.

Martin Slávik

Parameterized complexity, graph algorithms, combinatorics, and computational social choice.

Michal Dvořák

Graph theory, parametrized complexity, NP-hardness, computational social choice.

Jan Pokorný

Parametrized complexity and algorithms, graph theory, general solvers (SAT, ILP, ...), positional games.

Daniela Opočenská

Graph theory, extremal combinatorics and combinatorics on words.

Jíťa Mertlová

Voting theory, data science, AI.