[Back to Wang's Home Page ]

Wang Yi -- Biographical Sketch

Wang is a chair professor (Embedded System) at Uppsala University. He received his PhD in computer science from Chalmers University of Technology, Sweden in 1991. His research interests are in modelling and verification of computer systems especially embedded and real-time systems. He is the co-founder of UPPAAL, a model-checker for real-time systems, widely used in research, education and industry all over the world. He has published over one hundred articles and three software tools. According to Google Scholar's citation statistics, Wang's H-index is 38. In 2009, he received the Best Paper Award of RTSS with Nan Guan, Martin Stigge and Ge Yu for their work on multiprocessor scheduling.

He has been a program committee chair and track chair for several top international conferences including TACAS 2001, EMSOFT 2006, RTSS 2009, HSCC 2010, LCTES 2012, and DATE 2012, and a program committee member for over 60 international conferences and workshops. He has also been an associate editor for IEEE transactions on computers, the Journal of Computing Science and Engineering (KIISE, South Korea), the Elsevier Journal of Systems Architecture (North Holland), and the Journal of Computer Science and Technology (Chinese Academy of Sciences).

Wang's current interests focus on programming of multicore computer systems, in particular, real-time software development on multicore platforms. He is a principle investigator for the newly established UPMARC centre of excellence at Uppsala for multicore programming, coordinating the research track on Resource Management. He is also coordinating the ram-program CoDeR-MP: Computationally Demanding Real-Time Applications on Multicore Platforms in collaboration with ABB and SAAB, supported by the Swedish Stradigic Research Foundation.


Last updated: