Sweden · Model Checking · Reviewed 2026-10-15

Dr. Paul Pettersson

Professor of Real-Time Systems at MDU and co-developer of UPPAAL, the world-renowned tool environment for modeling, simulation, and verification of real-time systems modeled as timed automata.

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Model Checking, Formal Verification, UPPAAL, Timed Automata
Academic position: Professor of Real-Time Systems
Primary university source: Official directory entry ↗
Recruitment status: Not verified. Leadership profile does not imply active vacancies or assistantship availability.

Supervision and contact

Students interested in graduate or doctoral research supervision in Model Checking, Formal Verification, UPPAAL are advised to consult formal department application channels.

MDU guide ↗Computer-science subject guide ↗Mentorship ↗

Important verification note

Facts reflect official university directory records reviewed 2026-10-15. Faculty recruitment and admissions require formal application.

Reviewed 2026-10-15 · Editorial standards · Report an issue