University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Vojtěch Forejt

Personal photo - Vojtěch Forejt
Dr Vojtěch Forejt
Associate Professor
Governing Body Fellow, Kellogg College
XMPP (Jabber):
Skype: forejtv
+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.

I hold a PhD in computer science from Masaryk University in Brno, and a Diploma in English law from Open University.


See here.

Current Teaching

Past Teaching

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.




Manage publications