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.
Slovinsko: putování po Julských Alpách – 7. 8. 2015 (Slovinsko, Alpy, hory, cestování, foto)
Minulý týden jsem si vyzkoušel, jaké to je jen s pomocí vlastních nohou objevovat krásy hor a s krosnou na zádech se dostat do míst, kde neproudí davy turistů…
Ostrá Horka, Obřany a Hády – 12. 5. 2015 (foto)
Dnes jsem využil odpadnuvší přednášky k tomu abych si udělal dopolední výlet do severovýchodního okolí Brna…
Park Průhonice – 9. 5. 2015 (foto)
V pátek jsem navštívil zámecký park v Průhonicích u Prahy, který je teď na jaře krásně rozkvetlý, zde vám tedy přináším několik fotografií…
Úvodem – 1. 5. 2015 (různé, programování, Haskell)
Vítejte na mém blogu…
Rovněž můžete navštívit můj starý blog o Erasmu v Norsku.