Dr Vojtěch Forejt
Governing Body Fellow, Kellogg College
XMPP (Jabber): firstname.lastname@example.org
+44 (0)1865 610766
Room 477, Wolfson Building, Parks Road, Oxford OX1 3QD
I mainly pursue research in probabilistic verification. More broadly, I study systems that have some stochastic behaviour and/or involve decision making. I develop methods for formally proving properties of such systems, measuring their performance, or assessing their reliability. The systems I study are usually described as Markov chains, Markov decision processes, or their extensions.
I am an Associate Professor in Computer Science (Software Engineering). I am also affiliated with Institute for Theoretical Computer Science at my alma mater.
Lectures on Software Verification at Oxford University, and Programming for .NET Framework at Masaryk University. Teaching assistant for various subjects (Reasoning about Information Update, Probabilistic model-checking, Foundations of Computer Science, Mathematical Logic, Probability in Computer Science, Automata and Grammars, and Introduction to Functional Programming)
I am interested in consultancies and in acting as an expert witness within my area of expertise. Please contact me with your queries.