معرفی
Wang Yi is a distinguished academic serving as Chair Professor of Embedded Systems at Uppsala University, Sweden, and held the title of Distinguished Professor at Northeastern University, China. His career spans over three decades, with roles including Full Professor (2000–2009) and Associate Professor (1996–2000) at Uppsala University. His research focuses on real-time systems, cyber-physical systems, and formal verification, with notable contributions to tools like UPPAAL.
Research Highlights:
- Advances in real-time systems scheduling and timing analysis
- Pioneering work in cyber-physical systems modeling
- Development of verification methodologies for embedded systems
Awards:
- 2019 IEEE TCRTS Award
- 2018 ERC Advanced Grant
- 2015 IEEE Fellow
- 2013 CAV Award
Professional Affiliations:
- Member of Academia Europaea (since 2015)
- Long-term collaborations with Chinese Academy of Sciences (2002–2007 as Visiting Professor)
۰مقاله منتشرشده
