Dr Vojtěch Forejt
Governing Body Fellow, Kellogg College
XMPP (Jabber): email@example.com
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.