Biographical Sketch of Wang Yi

Wang Yi is professor (chair holder) of Embedded Systems at Uppsala University, with a Ph.D. in Computer Science (1991) from Chalmers University of Technology, Sweden. He is a Member of Academy of Europe (Section of Informatics) and a Fellow of the IEEE.

His interests are in models, algorithms and software tools for building and analyzing computer systems in a systematic manner to ensure predictable behaviors. Over the years, he has worked on various topics including concurrent and real-time programming, process algebras, timed automata, model checking, real-time, embedded and distributed systems, multiprocessor systems, real-time operating systems, and complexity issues in real-time scheduling. The most important contributions of Wang Yi concern Formal Modeling and Verification, and Real-Time Systems as well as Complexity Issues in Scheduling Theory.

With his co-authors (Kim Larsen and Paul Pettersson), he was awarded with the CAV 2013 Award for contributions to model checking of real-time systems, in particular the development of UPPAAL, the foremost tool suite for automated analysis and verification of real-time systems (cited by the CAV Award Committee). For contributions to real-time systems, with his students, he received Best Paper Awards of RTSS 2015, ECRTS 2015, DATE 2013 and RTSS 2009, Outstanding Paper Award of ECRTS 2012 and Best Tool Paper Award of ETAPS 2002.

He is a keynote speaker at ETAPS 2015 in London, UK and SIES 2016 in Krakow, Poland. 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 ACM EMSOFT (co-chair), ACM LCTES, and FORMATS. He serves on frequently on Technical Program Committees for a large number of conferences, and was the TPC chair of TACAS 2001, FORMATS 2005, EMSOFT 2006, HSCC 2011, LCTES 2012 and track/topic Chair for RTSS 2008 and DATE 2012-2014. He is (and has been) an editor for several journals including IEEE Embedded Systems Letters, IEEE Design and Test, 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.