University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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

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.

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

SHARE THIS: