I'm a DPhil student working on VERIWARE project. VERIWARE is a five year research project at the Department of Computer Science, University of Oxford, funded by the European Research Council Advanced Investigators Grant and led by Professor Marta Kwiatkowska.Before joining Oxford I did my Masters Degree in Computer Science at Cracow University of Technology. During that time I have also been an intern at NASA Ames Research Center where I worked on Java PathFinder model checker under supervision of Peter Mehlitz
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.
INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma
No. RR−12−05. DCS. 2012.
jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
Mateusz Ujma and Nastaran Shafiei
In To Appear in the Proceedings of Java Pathfinder Workshop 2011‚ Lawrence Kansas. 2011.