Výuka
Vyučované předměty
Podzim 2018 na Fakultě informatiky
- Seminář laboratoře paralelních a distribuovaných systémů
- Seminář z dobývání znalostí
- Strojové učení a přirozený jazyk
- Ú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 2018 na Fakultě informatiky
- Advanced Functional Programming
- Algoritmy a datové struktury I
- Algoritmy a datové struktury II
- Computability
- Formal Verification Methods
- Formální jazyky a automaty
- Informatické kolokvium
- Informatics Colloquium
- Informatics-Driven Future
- Komunikace a paralelismus
- Laboratoř dobývání znalostí
- Laboratoř paralelních a distribuovaných systémů
- Matematické základy
- Návrh a implementace paralelních systémů
- Návrh a verifikace algoritmů
- Petriho sítě
- Principles of Programming Languages
- Projekt z překladačů
- Randomized Algorithms and Computations
- Real Time Systems
- Sémantiky programovacích jazyků
- Seminar on Concurrency
- Seminar on Discrete Mathematical Methods
- Seminar on Knowledge Discovery
- Seminář k informační společnosti
- Seminář laboratoře Formela
- Seminář laboratoře paralelních a distribuovaných systémů
- Seminář z funkcionálního programování
- Složitost
- Strojové učení a dobývání znalostí
- System Verification and Assurance
- Teorie a specifikace procesů
- Typy a důkazy
- Úvod do logiky
- Úvod do strojového učení
- Working Seminar on Formal Models, Discrete Structures, and Algorithms
Podzim 2017 na Fakultě informatiky
- Algorithmic game theory
- Algoritmika pro těžké problémy
- Automaty a gramatiky
- Coding, Cryptography and Cryptographic Protocols
- Computational Logic
- Graph Algorithms
- Graph Theory
- Informační společnost
- Informatické kolokvium (DINKOL, IA067)
- Laboratoř dobývání znalostí
- Laboratoř paralelních a distribuovaných systémů
- Matematická logika
- Matematické základy informatiky
- Modální a temporální logiky procesů
- Neimperativní programování
- Neural networks
- Paralelní a distribuované výpočty
- Probability in Computer Science
- Projekt z programování paralelních aplikací
- Překladače
- Seminar on Concurrency
- Seminář k informační společnosti
- Seminář laboratoře Formela
- Seminář laboratoře paralelních a distribuovaných systémů
- Seminář z dobývání znalostí
- Strojové učení a přirozený jazyk
- Ú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
Podzim 2017 na Masarykově univerzitě
Jaro 2017 na Fakultě informatiky
- Advanced Functional Programming
- Algoritmy a datové struktury I
- Algoritmy a datové struktury II
- Formal Verification Methods
- Formální jazyky a automaty
- Informatics Colloquium
- Informatics-Driven Future
- Komunikace a paralelismus
- Laboratoř dobývání znalostí
- Laboratoř paralelních a distribuovaných systémů
- Lambda calculus