Vladimír Štill is a PhD candidate at the Faculty of Informatics, Masaryk University in Brno. His research topic is the correctness analysis of parallel programs written in C and C++. His work includes finding new analysis techniques and their implementation in the DIVINE tool. His most notable contributions include support for discovery of bugs related to relaxed memory behaviour on modern processors, and work on detection of parts of parallel programs which do not terminate.
Apart from his PhD research, he is also involved in teaching several courses on the faculty, mostly in programming and formal languages. He also maintains an evaluation engine for programming courses.