Paul Pettersson, Professor


Paul Pettersson is Professor of Real-time systems at Mälardalen University, Sweden. He has a PhD in Computer Systems and has been appointed Docent in Computer Science at Uppsala University, Sweden. Professor Pettersson has co-authored over 100 scientific papers, articles, and book chapters in Computer Science. During his career, he has held various leadership positions in academia, including Vice-Chancellor (President) and Deputy Vice-Chancellor of Mälardalen University. He has also served on a number of boards of deeptech startup companies, science parks, and governmental authorities. Professor Pettersson received the Computer Aided Verification Award in 2013 "For developing UPPAAL which is the foremost tool suite for the automated analysis and verification of real-time systems.". Paul Pettersson is currently located in Palo Alto, CA.

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:

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

PhD students supervised as assistant supervisor:

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