During my years at Faculty of Informatics of Masaryk University (2010–2022) I was teaching various courses related to programming and formal languages.
IB015 Non-Imperative Programming (IS) In years 2020 to 2022 I was responsible for the seminars and homework in this course and I also taught a few seminars. I was also teaching several seminar groups from 2011 to 2016, and I lead the team responsible for creating of homework since 2014.
PV264 Avanced programming in C++ (IS) A course focusing on modern techniques in C++ and advanced knowledge of this programming language. I was one of the founders of this course, I was teaching it since its start in 2017 till its last run in 2020. Before this course, we had covered parts of its topics as part of PB173 Domain Specific Development in C/C++ since 2014.
IB016 Seminar on Functional Programming (IS) I was teaching this course since 2015 when I have rebuilt it together with Martin Ukrop. This course focuses of more practical aspects of the Haskell programming language. I was last teaching it in 2022. Since 2021 I am teaching some of the seminars and I was teaching this course from 2015 to 2019 and built it to its current state with Martin Ukrop.
PB173 Domain Specific Development (IS) From 2021 to 2022 I was guarantor of the course. From 2014 to 2016 I was seminar tutor for the topic of Modern C++.
IB111 Foundations of Programming (IS, Czech course page) I was a seminar tutor for this course in years 2020 and 2021.
PB161 C++ Programming (IS) I was a seminar tutor for this course and I was lecturing the first four lectures in spring 2020. I was also backup lecturer from 2016 to 2018.
PB006 Principles of Programming Languages and OOP (IS) I was responsible for homework for this course in 2020.
IB005 Formal Languages and Automata (IS) I was leading the team responsible for creating of homework from 2020 to 2022.
IB102 Automata and Grammars (IS) I was teaching several seminar groups from 2015 to 2016, and until termination of the course I lead the team responsible for creating of homework.
I had also minor involvement in other courses, such as PB071 Introduction to the C language (seminar tutor, homework author; 2012), and IA006 Selected topics on automata theory (marking exams; 2016–2017).