Skip to main content

Mateusz Ujma

Personal photo - Mateusz Ujma

Mateusz Ujma

Doctoral Student

Themes:

Completed Projects:

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 AllManage publications

Activities

Supervisors