Sweden · Real-Time Systems · Reviewed 2026-10-14

Prof. Dr. Wangyi Rao

Professor of Embedded Systems at Uppsala University, IEEE Fellow, CAV Award recipient, and co-creator of UPPAAL (the world's most widely used model-checking tool for real-time and timed automata systems).

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Real-Time Systems, Formal Verification, Timed Automata, UPPAAL Model Checker, Embedded Software
Academic position: Professor of Embedded Systems / Department of Information Technology
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 Real-Time Systems, Formal Verification, Timed Automata are advised to consult formal department application channels.

Uppsala guide ↗Computer-science subject guide ↗Mentorship ↗

Important verification note

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

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