| WS 2020 |
Graph theory, Semantic Web, and Calculus 2, Faculty of Science, Palacky University, Olomouc |
| SS 2020 |
Formal languages and automata, Probability and statistics, Faculty of Science, Palacky University, Olomouc |
| WS 2019 |
Graph theory, Semantic Web, and Calculus 2, Faculty of Science, Palacky University, Olomouc |
| SS 2019 |
Formal languages and Probability and statistics, Faculty of Science, Palacky University, Olomouc |
| 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) |