Human-Robot Collaboration, Formal Verification, Intelligent Robots, Multi-Agent Systems
I am a Postdoctoral Research Associate at Department of Computer Science, University of Oxford. Prior to this position, I was a Postdoctoral Researcher at KTH Royal Institute of Technology within the Division of Decision and Control Systems supervised by Prof. Dimos V. Dimarogonas. I received my PhD in Electrical Engineering from KTH Royal Institute of Technology in Feb. 2021, my M.Sc. degree in Control Theory and Control Engineering and B.Sc. degree in Automation from Wuhan University (China) in 2016 and 2013, respectively. In November 2016, I was selected for KTH's Program of Excellence. I was a Student Best Paper Award finalist at the 2020 American Control Conference in Denver.