Yi Wang - Biography#

Wang Yi is a professor with a chair in embedded systems at Uppsala University and a distinguished professor at Northeastern University, China. He received his Ph.D in Computer Science in 1991 from Chalmers University of Technology, Sweden and B.Sc in Computer Engineering in 1982 from Northeastern University, China. His interests are in embedded real-time systems, in particular, theories, algorithms and software tools for modeling and verification, timing analysis, real-time scheduling, and their application in embedded systems design.

He is one of the initial contributors to the area on verification of real-time systems. He is a co-founder of UPPAAL. the foremost tool suite for automated analysis and verification of real-time systems (cited by the CAV Award committee). With his co-authors, he received the CAV Award in 2013 for the development of UPPAAL and several Best Paper Awards at top conferences including ECRTS 2015, DATE 2013, RTSS 2009, and Outstanding Paper Award of ECRTS 2012. In 2015, he was elevated to Fellow of the IEEE for contributions to safety-critical Systems.

He is on the steering committee of ESWEEK, the annual joint event for major conferences in embedded systems areas. He is also on the steering committees of EMSOFT, LCTES, and FORMATS. He serves frequently on Technical Program Committees as PC members or chairs. He is (and has been) an editor for several journals including Journal of Computer Science and Technology (Chinese Academy of Sciences) and IEEE Transactions on Computers. He has been a panel member for several evaluation committees, including the Academy of Finland 2014, the Chinese Academy of Sciences 2013, and INRIA, France 2012.

He has been an invited speaker for many workshops, conferences and summer schools. He is a keynote speaker of ETPAS 2015 in London.