Dr Vojtěch Forejt
Governing Body Fellow, Kellogg College
XMPP (Jabber): firstname.lastname@example.org
Room 477, Wolfson Building, Parks Road, Oxford OX1 3QD
My research area is formal verification of probabilistic systems.
I hold a PhD degree from Faculty of informatics, Masaryk 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.
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.