Rui Yan(闫芮)

alt text 

Rui Yan, Postdoctoral Fellow (Research Associate)
Department of Computer Science
University of Oxford

Office: Wolfson Building, Parks Road
Email: rui.yan at; ruiyan.future at
Links: Google Scholar

About me

Welcome to my personal website. I am a postdoctoral fellow (research associate) in the Department of Computer Science at University of Oxford, working with Prof. Marta Kwiatkowska. Before joining University of Oxford, I obtained my PhD degree in the Department of Automation at Tsinghua University in Jan. 2021. My PhD advisor was Prof. Yisheng Zhong. I obtained my Bachelor's degree in Automation from Beihang University in 2015. I was a visiting scholar with the Mechanical Engineering Department and the Center for Control, Dynamical Systems and Computation at the University of California, Santa Barbara from Feb 2019 to Feb 2020, supervised by Prof. Francesco Bullo. My current research focuses on stochastic games, probabilistic verification and synthesis, reach-avoid differential games and multi-agent reinforcement learning. The applications include neural-symbolic systems, multi-robot cooperation and competition, and multi-vehicle automated driving.