Skip to main content

Matthias Fruth

Personal photo - Matthias Fruth

Matthias Fruth

Doctoral Student

Leaving date: 20th January 2012


Completed Projects:


My main research interests are:

  • formal methods for modelling, verification, and performance analysis of distributed systems;
  • theory, implementation, and applications of probabilistic model checking, model checking, and runtime monitoring techniques;
  • probabilistic model checking for ubiquitous computing;
  • Quality of Service properties of wireless sensor networks and communication protocols;
  • policy optimisation for power management of partially observable systems.


I have been a Doctoral Student at the Department of Computer Science, University of Oxford and passed my viva in March 2011.

Between 1999 and 2005, I studied Computer Science with minor subject Mathematics at the Department of Computer Science of TU Dresden and obtained a Bachelor and a Diploma degree in 2002 and 2005 respectively. From September 2002 to June 2003, I visited the University of Birmingham under the ERASMUS programme and studied Computer Science and Mathematics. From January 2005 to September 2007, I was a Teaching Assistant in the School of Computer Science of the University of Birmingham. From October to December 2006, I was a Visiting Researcher in the Formal Methods program of National ICT Australia in Sydney and worked with Annabelle McIver and Ansgar Fehnker on the PEWNA project.

Selected Publications

View AllManage publications