Výuka
Vyučované předměty
Jaro 2012 na Fakultě informatiky
- Seminář řešení programátorských úloh
- Seminář z funkcionálního programování
- Seminář z verifikace
- Složitost
- Strojové učení a dobývání znalostí
- Teorie a specifikace procesů
- Úvod do funkcionálního programování
- Úvod do logiky a logického programování
- Vyčíslitelnost
- Working Seminar on Formal Models, Discrete Structures, and Algorithms
Podzim 2011 na Fakultě informatiky
- Algoritmika pro těžké problémy
- Automaty a gramatiky
- GPU Programming
- Graph Theory
- Informační společnost
- Informatické kolokvium
- Kódování, kryptografie a kryptografické protokoly
- Laboratoř dobývání znalostí
- Laboratoř paralelních a distribuovaných systémů
- Matematická logika
- Modální a temporální logiky procesů
- Paralelní a distribuované výpočty
- Principy programovacích jazyků
- Projekt z programování paralelních aplikací
- Překladače
- Quantum seminar
- Seminar on Concurrency
- Seminář laboratoře paralelních a distribuovaných systémů
- Seminář o aplikaci stochastických metod v informatice
- Seminář řešení programátorských úloh
- Seminář z dobývání znalostí
- Seminář z kryptografie
- Strojové učení a přirozený jazyk
- Úvod do funkcionálního programování
- Úvod do informatiky
- Úvod do kvantových algoritmov a počítačov
- Úvod do validace a verifikace
- Vybrané kapitoly z kvantové mechaniky
- Vybrané kapitoly z teorie automatů
- Vyčíslitelnost a složitost
- Základy informatiky
Jaro 2011 na Fakultě informatiky
- Advanced Graph Theory II
- Computational Logic
- Formal Verification Methods
- Formální jazyky a automaty I
- Funkcionální programování
- Hot Topics of Quantum Information Processing
- Informatics Colloquium
- Komunikace a paralelismus
- Laboratoř dobývání znalostí
- Laboratoř paralelních a distribuovaných systémů
- Linear and Integer Optimization Tasks and their Solutions
- Matematické základy
- Modelování a simulace
- Návrh a implementace paralelních systémů
- Návrh algoritmů II
- Návrh algoritmů I
- Neuronové sítě
- Petriho sítě
- Pravděpodobnost v informatice
- Projekt z překladačů
- Quantum seminar
- Randomized Algorithms and Computations
- Sémantiky programovacích jazyků
- Seminar on Concurrency
- Seminar on Knowledge Discovery
- Seminář laboratoře paralelních a distribuovaných systémů
- Seminář řešení programátorských úloh
- Seminář z funkcionálního programování
- Složitost
- Strojové učení a dobývání znalostí
- Topics in Language Theory
- Typy a důkazy
- Úvod do funkcionálního programování
- Úvod do logiky a logického programování
Podzim 2010 na Fakultě informatiky
- Algoritmika pro těžké problémy
- Automaty a gramatiky
- Graph Theory
- Informační společnost
- Informatické kolokvium
- Kódování, kryptografie a kryptografické protokoly
- Laboratoř dobývání znalostí
- Laboratoř paralelních a distribuovaných systémů
- Matematická logika
- Modální a temporální logiky procesů
- Paralelní a distribuované výpočty
- Principy programovacích jazyků
- Projekt z programování paralelních aplikací
- Překladače
- Quantum seminar