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
E-mail: vojfor@cs.ox.ac.uk
XMPP (Jabber): forejtv@gmail.com
Skype: forejtv
+44 (0)1865 610766

Room 477, Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

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.

Biography

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.

Publications

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)

Other

I am interested in consultancies and in acting as an expert witness within my area of expertise. Please contact me with your queries.

Info

Themes

Activities

Manage publications