I am a Ph.D. student at Faculty of Informatics, Masaryk University in Brno, Czech Republic. I work on DIVINE model checker in ParaDiSe laboratory under the supervision of Jiří Barnat Furthermore, I teach several courses and exercises at the faculty and I am member of Academic Senate and Dean’s Board of Faculty of Informatics.

My hobbies include programming (mostly in C++ and Haskell), photography of nature, walking, and organizing games with my friends from Nordic Animals Association (CZ).

On this website you will find links to my projects and my personal blog (which is written in Czech).

Projects I am working on

• DIVINE, explicit-state model checker capable of verifying parallel programs in several input formats including C and C++.
• HsExprTest, tool for automatic comparison of Haskell expressions and types based on QuickCheck.
• Some smaller projects on GitHub.

Teaching

• IB016 Seminar on Functional Programming (IS): I teach whole course together with Martin Ukrop.
• PB173 Domain specific development in C/C++ (IS): I teach group about modern C++ together with Jiří Weiser and Nikola Beneš.
• IB015 Non-Imperative Programming (IS): I teach several seminar groups.
• IB102 Automata, Grammars, and Complexity (IS): I am part of the group responsible for homework exercises, I also taught seminar groups in this course.

Contact

You can contact me using information on my university profile.

My blog

My personal blog is written in Czech, sorry.

Na mém blogu najdete mé postřehy ze života na fakultě i mimo ni. Několik nejnovějších příspěvků naleznete zde, zbytek na stránce blogu.

Rovněž můžete navštívit můj starý blog o Erasmu v Norsku.