Author details
Wang Yi
Also published under: W. Yi
Affiliation
Northeastern University
NO. 3-11
Wenhua Road, Heping District, Shenyang, P. R. China
Uppsala University, Biskopsgatan 3, Sweden
Biography
Wang Yi (Fellow, IEEE) received the Ph.D. degree in computer science from the Chalmers University of Technology, Gothenburg, Sweden, in 1991.,He is currently a Chair Professor with Uppsala University, Uppsala, Sweden. His current research interest focuses on design, analysis, and verification of embedded and real-time systems.,Prof. Yi was the recipient of the IEEE Technical Committee on Real-Time Systems (TCRTS) Award 2019 for Outstanding Technical Achievement and Leadership and CAV Award 2013 for Fundamental Contributions to Computer-Aided Verification. He is a recipient of the European Research Council Advanced Grant and Knut och Alice Wallenbergs Foundation Grant, Sweden. He is the Vice Chair of Association for Computing Machinery Speci... Author's Published Works