Biographical Sketch of Wang Yi

Wang Yi is Professor (chair holder) of Embedded Systems at Uppsala University. He received his Ph.D. in Computer Science from Chalmers Univ. of Techn. He is an IEEE fellow, a member of Academy of Europe and a member of Royal Society of Sciences. His interests are in models, algorithms and tools for building and analyzing computer systems in a systematic manner to ensure predictable behaviors. He has worked on several 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. With Kim Larsen and Paul Pettersson, he received the CAV 2013 Award for the development of UPPAAL ("the foremost tool suite for automated analysis and verification of real-time systems", cited by the CAV Award Committee). With his students, he received Best Paper Awards of RTSS 2015, ECRTS 2015, DATE 2013 and RTSS 2009 and Outstanding Paper Award of ECRTS 2012.

Wang has been an invited/keynote speaker for over 30 conferences and summer schools; recently he is a keynote speaker for ETAPS 2015 in London, UK, SIES 2016 in Krakow, Poland and ICFEM 2017 in Xian, China. He is a steering committee member 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 frequently on Technical Program Committees for a large number of conferences (over 50). He 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 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 is an editor for journals including ACM Transactions on Embedded Computing and Systems, IEEE Embedded Systems Letters, IEEE Design and Test, Journal of Computer Science and Technology (Chinese Academy of Sciences) and IEEE Transactions on Computers (2002-2007).