World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Sweden
2026

D-Index & Metrics

Computer Science

D-Index
65
Citations
17758
World Ranking
2455
National Ranking
9

Research.com Recognitions

  • 2026 - Research.com Computer Science in Sweden Leader Award
  • 2020 - ACM Fellow For contributions to the automated analysis and verification of real-time systems
  • 2015 - IEEE Fellow For contributions to safety-critical real-time systems

Overview

Wang Yi is affiliated with Uppsala University in Sweden and has made contributions primarily within the field of Computer Science. Their research spans several subfields including Hardware and Architecture, Computer Networks and Communications, Computational Theory and Mathematics, Human-Computer Interaction, and Marketing.

The main topics Wang Yi focuses on cover a range of technical and applied areas such as Real-Time Systems Scheduling, Persona Design and Applications, Distributed Systems and Fault Tolerance, Embedded Systems Design Techniques, Service and Product Innovation, Parallel Computing and Optimization Techniques, and Technology Use by Older Adults.

Wang Yi's recent publications include notable works such as:

  • Supervisory control of discrete-event systems under external attacks (2021) published in Information Sciences
  • Broadband internet and stock market participation (2022) published in International Review of Financial Analysis

Other related publications, although authored by colleagues rather than Wang Yi directly, include:

  • Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area (2020) in IEEE Access
  • Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism (2020) in IEEE Transactions on Computers
  • Audio-Visual Grounding Referring Expression for Robotic Manipulation (2022) in 2022 International Conference on Robotics and Automation (ICRA)

The scientist collaborates frequently with several colleagues, including Nan Guan, Xu Jiang, Dong Ji, Mingsong Lv, and Yue Tang, with multiple joint publications.

Wang Yi has published extensively in a variety of venues, with significant numbers of articles appearing in:

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • IEEE Transactions on Computers
  • IEEE Transactions on Parallel and Distributed Systems
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Recognition for Wang Yi's work includes being named an ACM Fellow in 2020 for contributions to the automated analysis and verification of real-time systems, as well as an IEEE Fellow in 2015 for contributions to safety-critical real-time systems.

Best Publications

  • UPPAAL in a Nutshell

    Kim Guldstrand Larsen;Paul Pettersson;Wang Yi

  • Timed Automata: Semantics, Algorithms and Tools

    Johan Bengtsson;Wang Yi

  • UPPAAL: a Tool Suite for Automatic Verification of Real Time Systems

    J. Bengtsson;Kim Guldstrand Larsen;F. Larsson;P. Pettersson

  • Timed automata: Semantics, algorithms and tools

    Johan Bengtsson;Wang Yi

  • UPPAAL 4.0

    G. Behrmann;A. David;K.G. Larsen;J. Hakansson

  • CCS + Time = An Interleaving Model for Real Time Systems

    Wang Yi

  • Model Checking for Real Time Systems

    Kim Guldstrand Larsen;P. Pettersson;Wang Yi

  • Times: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems

    Tobias Amnell;Elena Fersman;Leonid Mokrushin;Paul Pettersson

  • Real-time behaviour of asynchronous agents

    Wang Yi

  • Automatic verification of real-time communicating systems by constraint-solving

    Wang Yi;Paul Pettersson;Mats Daniels

  • New Response Time Bounds for Fixed Priority Multiprocessor Scheduling

    Nan Guan;Martin Stigge;Wang Yi;Ge Yu

  • Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

    K.G. Larsen;F. Larsson;P. Pettersson;Wentao Yi

  • Task automata: Schedulability, decidability and undecidability

    Elena Fersman;Pavel Krcal;Paul Pettersson;Wang Yi

  • Formal Design and Analysis of a Gear Controller

    Magnus Lindahl;Paul Pettersson;Wang Yi

  • Efficient Timed Reachability Analysis Using Clock Difference Diagrams

    Gerd Behrmann;Kim Guldstrand Larsen;Justin Pearson;Carsten Weise

  • Compositional and symbolic model-checking of real-time systems

    K.G. Larsen;P. Pettersson;Wang Yi

  • Probabilistic Extensions of Process Algebras

    Bengt Jonsson;Kim Larsen;Wang Yi

  • Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks

    Pontus Ekberg;Wang Yi

  • The Digraph Real-Time Task Model

    Martin Stigge;Pontus Ekberg;Nan Guan;Wang Yi

  • Testing Probabilistic and Nondeterministic Processes

    Wang Yi;Kim Guldstrand Larsen

  • Partial Order Reductions for Timed Systems

    Johan Bengtsson;Bengt Jonsson;Johan Lilius;Wang Yi

Frequent Co-Authors

Nan Guan
Nan Guan Hong Kong Polytechnic University
Paul Pettersson
Paul Pettersson Mälardalen University
Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Alexandre David
Alexandre David Aalborg University
Bengt Jonsson
Bengt Jonsson Uppsala University
Xue Liu
Xue Liu McGill University
Parosh Aziz Abdulla
Parosh Aziz Abdulla Uppsala University
Wenyao Xu
Wenyao Xu University at Buffalo, State University of New York
Reinhard Wilhelm
Reinhard Wilhelm Saarland University
Tiziana Margaria
Tiziana Margaria University of Limerick

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA can open doors to a variety of related degrees and career options. Many students look into fields like electrical engineering for a specialized, high-demand skill set. If flexibility is important, consider accredited online electrical engineering programs, which provide rigorous curricula and recognized qualifications without campus commitments.

For those eager to boost their employability quickly, industry certifications are a smart choice. There are certifications for jobs that can lead to rewarding positions in tech, data, or cybersecurity—often without the time and expense of a full degree.

Time and cost are major considerations for graduate studies. Thankfully, you can find the quickest cheapest masters degree options online, letting you upskill without a long break from your career.

Finally, if you’re planning for long-term success, it’s wise to research graduate degrees that are worth it. Choosing an in-demand, valuable degree ensures your investment results in career advancement and job security.

Best Scientists Citing Wang Yi

Trending Scientists

Recently Published Articles