Yi Wang is a Professor of Embedded Systems at the Department of Information Technology, Uppsala University , Sweden. He leads research in real-time and embedded systems with a focus on modeling, analysis, and implementation of safety-critical applications. He is affiliated with the Embedded Systems Group and serves as a Principal Investigator (PI) in major research centers such as UPMARC and projects like CUSTOMER (ERC Advanced Grant), CoDeR-MP, and CERTAINTY. Research Interests: Yi Wang’s work centers on Embedded Systems Design, Real-Time Scheduling, Multicore Programming, and Model-Checking of Real-Time Systems . His research addresses fundamental challenges in timing predictability, schedulability analysis, and the verification of complex real-time systems. He has made significant contributions to the digraph real-time task model, mixed-criticality systems, and timing analysis of ROS 2 systems. His work bridges theory and practice, often resulting in deployable tools and formal methods for industrial applications. Recent Research Trends: His most recent publications (2023–2025) focus on optimizing real-time performance in ROS 2, managing parallel task graphs with resource contention, improving GPU-based inference on embedded platforms, and enhancing timing predictability in multithreaded executors. These works reflect a strong trend toward applying formal real-time theory to modern robotics, AI integration, and multicore embedded architectures. Scientific Tools and Leadership: He is a key contributor to foundational tools in real-time systems: UPPAAL – Model checking for timed automata TIMES – Schedulability analysis and code generation CATS – Compositional analysis of timed systems TIMES-Pro – Based on the digraph real-time task model Advising and Research Funding: Yi Wang has supervised numerous PhD students and postdocs. He has led or participated in multiple large-scale funded projects supported by the Swedish Research Council (VR), the Swedish Foundation for Strategic Research (SSF), and the European Commission (FP7, ERC). These include UPMARC (10-year Linnaeus center), CoDeR-MP (with ABB and SAAB), SAVE++ (with VOLVO), and CREDO. Laboratories and Research Groups: He is a core member of the Embedded Systems Group at Uppsala University and leads research within the UPMARC center, which focuses on programming models and analysis techniques for multicore architectures. His lab develops formal methods and tools to ensure correctness and timing guarantees in embedded and cyber-physical systems.
