Group members

Professors and Researchers

Ondřej Suchý

Ondřej Suchý

Head of the group

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

Tomáš Valla

Tomáš Valla

Combinatorics, graph theory, (algorithmic) game theory.

Dušan Knop

Dušan Knop

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

Michal Opler

Michal Opler

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

Maria Saumell

Maria Saumell

Computational geometry, combinatorics, graph drawing.

Radek Hušek

Radek Hušek

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

Tomáš Jakl

Tomáš Jakl

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

Postdoctoral fellows

Foivos Fioravantes

Foivos Fioravantes

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

Nikolaos Melissinos

Nikolaos Melissinos

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

Arun Kumar Das

Arun Kumar Das

Combinatorics, computational geometry, algorithms and data structures.

PhD students

Radovan Červený

Radovan Červený

Graph theory, parameterized complexity, combinatorics, graph algorithms.

Jan Matyáš Křišťan

Jan Matyáš Křišťan

Graph theory, combinatorics, combinatorial and algorithmic game theory.

Šimon Schierreich

Šimon Schierreich

Parameterized complexity and algorithms, computational social choice, social networks analysis and graph theory.

Martin Slávik

Martin Slávik

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

Michal Dvořák

Michal Dvořák

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

Jan Pokorný

Jan Pokorný

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