Čím se zabýváme
Obecné
Semináře pro studenty
Referativní a řešitelské semináře na různá témata.
Teoretická informatika
Výpočetní složitost
Dolní odhady na složitost v různých výpočetních modelech, komunikační složitost.
- EPAC: Efficient approximation algorithms and circuit complexity (EXPRO projekt)
- Monotónní výpočty a důkazová složitost (studentský GAUK projekt)
- LBCAD: Lower bounds for combinatorial algorithms and dynamic problems (dokončený ERC projekt)
- Výpočetní složitost a interaktivni protokoly
- Neuniformní výpočetní modely
- Vybrané kapitoly z výpočetní složitosti I
- Vybrané kapitoly z výpočetní složitosti II
- Základy přenosu a zpracování informace
- Konstrukce superkoncentrátorů omezené hloubky (bakalářská práce)
- Pseudonáhodné procházky a chip-firing games (diplomová práce)
- Nové odhady pro kombinatorické problémy a kvazi-Grayovy kódy (disertační práce)
Návrh a analýza algoritmů
Algoritmy přesné, aproximační, on-line, parametrizované, ...
- EPAC: Efficient approximation algorithms and circuit complexity (EXPRO projekt)
- Úvod do aproximačních a pravděpodobnostních algoritmů
- Aproximační a online algoritmy
- Pravděpodobnostní algoritmy
- Selected Topics in Algorithms
- Selected Topics in Algorithms II
- Kombinatorické algoritmy pro tokové problémy (bakalářská práce)
- Online rozvrhování víceprocesorových úloh s preempcí (diplomová práce)
- Online algoritmy pro rozvrhování paketů (disertační práce)
Teoretická kryptografie
Bezpečné protokoly pro komunikaci a výpočty, aplikace ve výpočetní složitosti.
- Moderní aplikace zero-knowledge protokolů (bakalářská práce)
- Vyhledávací složitost diskrétního logaritmu (diplomová práce)
- Složitost vyhledávacích problémů s jednoznačným řešením (disertační práce)
Diskrétní matematika
Kombinatorika a teorie grafů
Studium vlastností různých kombinatorických objektů, Ramseyovská teorie, aplikace analytických, pravděpodobnostních a topologických metod, enumerace, ...
- CoSP: Combinatorial Structures and Processes (RISE projekt)
- Výpočetní aspekty a struktura homomorfismů grafů (studentský GAUK projekt)
- Vybrané kapitoly z kombinatoriky 1
- Vybrané kapitoly z kombinatoriky 2
- Kombinatorika a grafy 3
- Kombinatorická teorie her
- Analytická kombinatorika
- Úvod do extremální teorie grafů
- Pravděpodobnostní techniky
- Pravděpodobnostní techniky 2
- Struktura a enumerace permutačních tříd (bakalářská práce)
- Algoritmické aspekty průnikových reprezentací (bakalářská práce)
- Průnikové reprezentace grafů (diplomová práce)
- Složitost kreslení grafů s omezeními (diplomová práce)
- Struktura a složitost homomorfismů (disertační práce)
Strukturální teorie grafů a grafová barevnost
Strukturální vlastnosti grafů s aplikacemi v návrhu algoritmů, grafové rozklady a barvení.
- ACoBE: Algorithms and Complexity within and beyond Bounded Expansion (ERC-CZ projekt)
- Ramsey-like aspects of graph coloring (dokončený GAČR projekt)
- Topics in Structural Graph Theory and Algorithms
- Teorie matroidů
- Teorie grafových minorů
- Toky a cykly v grafech
- Barevnost grafů a kombinatorických struktur
- Počty stěn v náhodném nakreslení úplného grafu (bakalářská práce)
- Varianty petersenovského obarvení pro některé třídy grafů (diplomová práce)
- Strukturální aspekty grafové barevnosti (disertační práce)
Teorie sítí
Dynamické, asymptotické a strukturální vlastnosti velkých grafů motivovaních sítěmi v biologii, sociologii, informatice, ...
- DYNASNET: Dynamics and Structure of Networks (ERC projekt)
- Modulární nástroj pro parametrickou analýzu dynamických systémů pomocí komplexních sítí (bakalářská práce)
- Vlastnosti síťových centralit (diplomová práce)
- Kombinatorické vlastnosti komplexních sítí (disertační práce)
