| June 2011 |
DISC PhD School -- Automata Tool Session
(Examples), University of Cagliari, Sardinia, Italy |
| 2009-2010 |
Graph Algorithms
(web pages in czech),
founder of the course,
Faculty of Information Technology, Brno University of Technology |
| 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 |
| 2004/2005 |
Introduction to Algebra,
Faculty of Eletrical Engineering, Czech Technical University, Prague |
| 2004/2005 |
Mathematics 2
(partially, later a stay abroad), Faculty of Eletrical Engineering, Czech Technical University, Prague |
| 2003/2004 |
Induction and Recursion,
Faculty of Informatics, Masaryk University, Brno |
