Paul Pettersson, Professor

Paul Pettersson is Acting Vice-Chancellor (Vikarierande 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.

Current/recent programme committees:

Current/recent teaching:

PhD students supervised as main supervisor:

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

PhD students supervised as assistant supervisor:

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