Vojtech Forejt
|
Vojtech
Forejt
Royal Society Research Fellow
Fellow,
Wolfson College
E-mail: vojfor@cs.ox.ac.uk
XMPP (Jabber): forejtv@gmail.com (this is not my e-mail address!) Skype: forejtv Office: room 449 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 informatics, Masaryk university in Brno. Since January 2010 I have been in the Department of Computer Science, University of Oxford, currently I am a Newton Fellow (from 2011 to 2012). I am also affiliated with Institute for Theoretical Computer Science at my alma mater.
Selected Publications
| INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma No. RR−12−05. DCS. 2012. |
| PLAYING STOCHASTIC GAMES PRECISELY Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels No. RR−12−03. 2012. |
| Automatic Verification of Competitive Stochastic Systems Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis No. RR−11−11. DCS. 2011. |
Info
|
Themes |
|
|
Activities |
PRISM | Probabilistic Model Checking | Quantitative Analysis and Verification |
