| SS 2024 |
Cyber-Physical Systems, and
English for CS
|
| WS 2023 |
Algorithms for large data,
Graph theory, and
Semantic Web
|
| SS 2023 |
Formal languages and automata,
English for CS, and
Cyber-Physical Systems
|
| WS 2022 |
Probability and statistics,
Graph theory, and
Semantic Web
|
| SS 2022 |
Formal languages and automata,
Probability and statistics, and
Cyber-Physical Systems
|
| WS 2021 |
Graph theory and
Semantic Web
|
| SS 2021 |
Formal languages and automata,
Probability and statistics, and
Cyber-Physical Systems
|
| WS 2020 |
Graph theory,
Semantic Web, and
Calculus 2
|
| SS 2020 |
Formal languages and automata and
Probability and statistics
|
| WS 2019 |
Graph theory,
Semantic Web, and
Calculus 2
|
| SS 2019 |
Formal languages and automata and
Probability and statistics
|
| WS 2018 |
Calculus 2, Faculty of Science, Palacky University, Olomouc
|
| SS 2018 |
Algorithms and data structures I, Faculty of Informatics, Masaryk university, Brno
|
| SS 2015 |
Foundations of Databases and Query Languages, TU Dresden, Germany
|
| 2014-2017 |
Seminar of the Knowledge-Based Systems and Computational Logic groups, TU Dresden, Germany (seminar leader)
|
| June 2011 |
DISC PhD School -- Automata Tool Session
(Examples), University of Cagliari, Sardinia, Italy
|
| WS 2009 |
Graph Algorithms
(web pages in czech),
founder of the course,
Faculty of Information Technology, Brno University of Technology (course founder) |
| 2008-2009 |
Modern Theoretical Computer Science,
Faculty of Information Technology, Brno University of Technology |
| 2008-2009 |
Mathematical Structures in Computer Science (web pages in czech),
Faculty of Information Technology, Brno University of Technology |
| 2005-2009 |
Formal Languages and Compilers
(web pages in czech),
Faculty of Information Technology, Brno University of Technology |
| SS 2005 |
Mathematics 2, Faculty of Eletrical Engineering, Czech Technical University, Prague |
| WS 2004 |
Introduction to Algebra, Faculty of Eletrical Engineering, Czech Technical University, Prague |
| WS 2003 |
Induction and Recursion,
Faculty of Informatics, Masaryk University, Brno (student assistant) |