About
Research
Teaching
Other
Teaching by Michal Koucký
Témata prací pro studenty (Bc., Mgr., Ph.D.)
Current semester
NMMB415 - Automaty a výpočetní složitost - ZS 2024
NTIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2024
- Zjemnělá složitost
NTIN 102 - Seminář z teoretické informatiky
Past semesters
NTIN 082 - Neuniformní výpočetní modely - LS 2024
- this semester taught by Pavel Hrubeš
NTIN 100 - Základy přenosu a zpracování informace - LS 2024
- this semester taught by Petr Gregor
NTIN 102 - Seminář z teoretické informatiky
NTIN 100 - Základy přenosu a zpracování informace - LS 2023
NTIN 081 - Výpočetní složitost a interaktivni protokoly - LS 2023
NTIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2022
- Náhodné procházky na grafech a jejich použití
Seminář z výpočetní složitosti
NTIN 082 - Neuniformní výpočetní modely - LS 2022
NTIN 100 - Základy přenosu a zpracování informace - LS 2022
Analyzing Narratives in Social Networks - mini-course - Zvi Lotker (Bar-Ilan University)
NTIN 066 - Datové struktury 1 - ZS 2021
NTIN 066 - Cvičení k datovým strukturám 1 - ZS 2021
NMMB415 - Automaty a výpočetní složitost - ZS 2021
NTIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2021
- Pavel Hrubeš, Pavel Pudlák, Navid Talebanfard - Mathematical Tools
AlgoMaNet: Fine-grained complexity - summer 2021
NTIN 100 - Základy přenosu a zpracování informace - LS 2021
NTIN 081 - Výpočetní složitost a interaktivni protokoly - LS 2021
NMMB415 - Automaty a výpočetní složitost - ZS 2020
NTIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2020
- Zjemnělá složitost
NTIN 082 - Výpočetní složitost - LS 2020
NTIN 100 - Základy přenosu a zpracování informace - LS 2020
NTIN 102 - Seminář o limitech efektivních výpočtů
NTIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2019
- Náhodné procházky na grafech a jejich použití
NTIN 100 - Základy přenosu a zpracování informace - LS 2019
NTIN 081 - Strukturální složitost - LS 2019
NMAI057 Lineární algebra I - cvičení - ZS 2018
NTIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2018
- Zjemnělá složitost
NTIN 100 - Základy přenosu a zpracování informace - LS 2018
NTIN 082 - Výpočetní složitost - LS 2018
NTIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2017
- Expandery a náhodné procházky na grafech
NTIN 081 - Strukturální složitost - LS 2017
NTIN 100 - Základy přenosu a zpracování informace - LS 2017
NTIN 082 - Výpočetní složitost - ZS 2016
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2016
- Diptarka Chakraborty - Boolean functions
TIN 100 - Základy přenosu a zpracování informace - LS 2016
TIN 086 - Vybrané kapitoly z výpočetní složitosti II - LS 2016
- Náhodné procházky na grafech
TIN 066 - Datové struktury 1 - ZS 2015
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2015
- Klasická složitost a interaktivní protokoly
TIN 067 - Datové struktury II - LS 2015
TIN 085 - Vybrané kapitoly z výpočetní složitosti II - LS 2015
- Bruno Loff - My favorite lower bounds
TIN 066 - Datové struktury 1 - ZS 2014
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2014
- Elazar Goldenberg - Hardness of approximation and PCP theorem
TIN 086 - Vybrané kapitoly z výpočetní složitosti II - LS 2014
- Neuniformní výpočetní modely
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2013
- Teorie informace a její použití v komunikační složitosti
TIN 086 - Vybrané kapitoly z výpočetní složitosti II - LS 2013
- Data streamové algoritmy
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2012
- Náhodné procházky na grafech
PhD course (Aarhus U.): Random walks on graphs and their applications
TIN 086 - Vybrané kapitoly z výpočetní složitosti II - LS 2011
- Klasická složitost a komunikační složitost
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2010
- Samoopravné kódy
TIN 086 - Vybrané kapitoly z výpočetní složitosti II - LS 2010
- Interaktivní protokoly a PCP
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2009
- Neuniformní výpočetní modely
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2008
- Náhodné procházky na grafech a expandery
TIN 086 - Vybrané kapitoly z výpočetní složitosti II - LS 2008
- Klasická složitost a interaktivní protokoly
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2007
- Samoopravné kódy
TIN 086 - Vybrané kapitoly z výpočetní složitosti II - LS 2007
- Komunikační složitost
TIN 085 - Vybrané kapitoly z výpočetní složitosti I - ZS 2006
- Pseudonáhodné generátory
Former students
PhD and MSc students:
Pavel Dvořák (now at Bristol,
PhD 2021
)
Karel Král (now at Google (Zurich),
PhD 2021
,
MSc 2017
)
Debarati Das (now at Penn State,
PhD 2019
)
Filip Hlásek (
MSc 2016
)
Jan Bulánek (now at Google (Zurich),
PhD 2014
(
Antonin Svoboda award for best disertation in 2014
),
MSc 2010
)
Bc students:
Tomáš Domes (
Bc 2021
)
Michal Sekerka (
Bc 2020
)
Michal Koucký,
Last updated: sometimes