Research Page of Wang Yi


Interests: My main interest lies in modeling and analysis as well as implementation of real-time and embedded systems, in particular: Projects: I am a member of the UPPAAL group at Uppsala. Our research focus is on theories, techniques and tools for modelling, design and validation of embedded and real-time systems. I am also a PI of UPMARC - Uppsala Programming for Multicore Architectures Research Center (10-year Linne-center grant from the Swedish Research Council). I have been involved in a number of national and european projects in embedded systems areas, including:

Tools: We have developed:

Students: Here is a list of Ph.D. Students and Post docs I have supervised and am supervising.

Publications: For further information on my research, see my publications (on a separated page).


Last updated:














































Last updated: