University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Mateusz Ujma

Personal photo - Mateusz Ujma
Mateusz Ujma
Doctoral Student

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

View all

Manage 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