Paul Pettersson, Professor

Paul Pettersson is Vice-Chancellor (Rektor) and Professor of Real-Time Systems (specialised in modelling and verification) at Mälardalen University. He received a Ph.D. in Computer Systems from Uppsala University in 1999 for his thesis on theory and practice of modeling and verification of real-time systems. After a Post Doc period at Aalborg University in Denmark, he joined Department of Information Technology at Uppsala University as Senior Lecturer in 2000. He was appointed Associated Professor (Docent) in Computer Science at Uppsala University in 2006, and joined Mälardalen University later in 2006.

Professor Pettersson's current research interests include component-based design, and model-based verification techniques - in particular model-checking and model-based testing - for real-time and embedded systems. He is co-founders of the UPPAAL tool (model-checker for timed systems), and several related tools, including TIMES (schedulability analysis and code-generation of embedded systems), UPPAAL Port (partial order reduction verification of component-based embedded systems), and UPPAAL CoVer (model-based testing of timed systems). For more information, see this short Curriculum Vitae. 

PhD students supervised as main supervisor:

Aida Causevic (former)
Anders Hessel (former)
John Håkansson (former)
Kivanc Doganay
Leo Hatvani (former)
Stefan Björnander (former)

PhD students supervised as assistant supervisor:

Andreas Johnsen
AnneMarie Ericsson (former)
Birgitta Lindström (former)
Hang Yin (former)
Tobias Amnell (former)