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 in a Nutshell
  (To appear in STTT, conference version at ASE26)
  The toolchain is released August 3, 2026
  for non-commercial use and available here at github.
• Recent Paper: Overview of CPS 20 Years (to appear)

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

---