Dr Vojtěch Forejt | University of Oxford

Dr Vojtěch Forejt

Associate Professor in Computer Science, Fellow of Kellogg College


Dr Forejt researches probabilistic verification. More broadly, he studies systems which involve random variables or decision making. He develops methods for formally proving properties of such systems, measuring their performance, and assessing their reliability. The systems which he studies are usually described as Markov chains, Markov decision processes, or their extensions.