My name is Vladimír Štill and I am a Ph.D. candidate at Faculty of Informatics, Masaryk University in Brno, Czech Republic. My research topic is program analysis, more specifically analysis of parallel programs written in C and C++. My work includes research of new analysis techniques and their implementation in the DIVINE model checker. My most important contribution so far was adding support for discovery of bugs caused by relaxed memory behaviour. This also resulted in a publication Model Checking of C++ Programs Under the x86-TSO Memory Model.

Apart from Ph.D. research I am also involved in teaching several courses on our faculty, mostly in programming and formal languages. Furthermore, I maintain an evaluation engine for programming courses, hsExprTest.

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

My Projects

Teaching