Biographical Sketch of Wang Yi

Professor, Chair of Embedded Systems (Uppsala since 2009), Professor in real-time systems (Uppsala, 2000-2009), PhD (Chalmers, 1991) and Docent (Uppsala, 1996). Fellow of IEEE (2014), Member of Academy of Europe (London, 2015) and Fellow of Royal Society of Sciences (Uppsala, 2017). Receipent of CAV 2013 Award, Best Paper Awards of RTSS 2017, RTSS 2015, ECRTS 2015, DATE 2013 and RTSS 2009. Board member of ACM SigBed and Chair of ACM Caspi Dissertation Award Committee. SC co-Chair of EMSOFT, SC member of ESWEEK, FORMATS and ACM LCTES. Editor of ACM Transactions on Embedded Computing and Systems, IEEE Embedded Systems Letters, IEEE Design and Test, Journal of Computer Science and Technology and IEEE Transactions on Computers (2002-2007). PC chair of TACAS 2001, FORMATS 2005, EMSOFT 2006, HSCC 2011, LCTES 2012, Track/Topic chair of RTSS 2008 and DATE 2012-2014.