Wang Yi's Home Page
![]()
About
Bio and CV
Publication
GS. profile
Work
Research
Teaching
Students
Links
- Professor of Embedded Systems
Dept of Information Technology, Uppsala University- Research interests: Design and Updates
of Safety-Critical, Embedded, Real-Time Systems,
Real-Time Scheduling, Modelling and Verification- Recent project: CUSTOMER – Design & Update
of Embedded Real-Time Systems - supported by
Wallenberg Fondations and ERC Advanced Grant- Recent software: MIMOS-Tools (to appear at ASE26)
The tool is released August 3, 2026 for non-commercial
use and available here at github.EMAIL: yi(at)it(dot)uu(dot)se PHONE +46(0)70 4250293(Mobile) VISIT: House 10, Floor 5 Ångström Lab, Polacksbacken, Uppsala POST : Box 337,751 05, UPPSALA