Mateusz Ujma
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Biography
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
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. |
| 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. |
| JPF−AWT: Model Checking GUI Applications Peter Mehlitz‚ Oksana Tkachuk and Mateusz Ujma In Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. 2011. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
|
|
Supervisors |
|
