Mengyuan Wang

I am a Ph.D. student at the Computer Science and Engineering Department at Chalmers University of Technology. I hold a master's degree in Data Science and AI from Chalmers University of Technology. My Ph.D. research focuses on runtime monitoring of AI-enabled systems, with an emphasis on safety, reliability, and decision-making under uncertainty. My research interests include, but are not limited to, formal specification and verification, explainability of artificial intelligence, and reinforcement learning.

My research is funded by the Wallenberg AI, Autonomous Systems, and Software Program.