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

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

Interests

My research area is formal verification of probabilistic systems.

Publications

See here, or see my DBLP entry.

Biography

I hold a PhD degree from Faculty of informaticsMasaryk university in Brno. Since January 2010 I have been in the Department of Computer Science, University of Oxford, currently I am a Associate Professor in Computer Science (Software Engineering). I am also affiliated with Institute for Theoretical Computer Science at my alma mater.

Selected Publications

View all

Manage publications

Permissive Controller Synthesis for Probabilistic Systems

Klaus Dräger‚ Vojtĕch Forejt‚ Marta Kwiatkowska‚ David Parker and Mateusz Ujma

No. RR−14−01. DCS. 2014.

Info

Themes

Activities