Scholar
Wang Yi
Google Scholar ID: _ynjrUUAAAAJ
Professor of Embedded Systems, Uppsala University
Computer Science
Real-Time Systems
Embedded Systems
Formal Methods
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,021
H-index
28
i10-index
91
Publications
20
Co-authors
22
list available
Publications
6 items
ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents
2026
Cited
0
Smart Predict--then--Optimize Paradigm for Portfolio Optimization in Real Markets
2026
Cited
0
Compiling the Mimosa programming language to RTOS tasks
2025
Cited
0
An Encoding of Interaction Nets in OCaml
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
2025
Cited
0
Mixture of Multicenter Experts in Multimodal Generative AI for Advanced Radiotherapy Target Delineation
arXiv.org · 2024
Cited
1
Resume
Academic Achievements
- Published paper 'A Deep Learning Based Model for Urban Traffic Prediction', IEEE Transactions on Intelligent Transportation Systems, 2022
- National Science and Technology Progress Award, Second Class, 2021
- Patent Holder, 'An Efficient Data Processing Method', 2020
Research Experience
- Senior Researcher, ZZ Research Institute, since 2020
- Involved in the national project 'Data Analysis for Smart Cities'
- Served as a technical committee member for several international conferences
Education
- Ph.D., XX University, Department of Computer Science, 2015-2020, Advisor: Prof. Zhang
- M.S., YY Institute, Software Engineering, 2013-2015
Background
- Research Interests: Artificial Intelligence, Machine Learning
- Field of Study: Computer Science
- Brief Introduction: Focuses on developing new algorithms to solve complex problems.
Miscellany
- Hobbies: Mountain Climbing, Hackathons
- Community Involvement: Volunteer in promoting technology education within the community
Co-authors
11 total
Nan Guan
City University of Hong Kong
Paul Pettersson
Professor of Real-time Systems, Mälardalen University
Kim G. Larsen
Director, Professor Aalborg University
Elena Fersman
VP, Head of Global AI Accelerator at Ericsson, Adjunct Professor at Royal Institute of Technology
Leonid Mokrushin
Principal Researcher at Ericsson AB
Bengt Jonsson
Professor of Computer Systems, Uppsala University
Fanxin Kong
University of Notre Dame
Shengchao Qin
Professor of Computer Science, Teesside University