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.
Prospective students and postdocs
If you want to do PhD in verification under my supervision, please have a look at the departmental funding available. The deadline for October 2015 start is January 9, 2015. Do get in touch if you have any questions.
I do not currently have any postdoc positions open, but I am happy to assist excellent applicants in applying for external funding. Please send me your full CV with a short outline of a proposed project.
I am interested in consultancies and in acting as an expert witness within my area of expertise. Please contact me with your queries.