Paul Pettersson is Professor of Real-Time Systems (specialised in
modelling and verification) and leader of the
Division
of Embedded System at the
School
of Innovation, Design and Engineering 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 the Department of
Information Technology at Uppsala University in 2000 as Senior
Lecturer. He was appointed Associated Professor ("Docent") in Computer
Science at Uppsala University in 2006.
The current research interests of Paul include
component-based design, and verification techniques for embedded real-time
systems.
He is one of the co-founders of the
UPPAAL tool (model-checker
for timed systems), and several other related tools,
including
TIMES
(schedulability analysis of real-time systems),
UPPAAL Port
(partial order reduction verification of component-based embedded systems),
and
UPPAAL CoVer
(model-based test-case generation for timed systems).
For more information about his research, see his short
Curriculum Vitae
or his old web page at Uppsala
University.
