Yue Gu

Dr. Yue Gu is a Research Associate in the School of Computing Science at the University of Glasgow, UK. His research focuses on runtime modelling and verification, with a specialization in swarm robotics, machine learning, and formal methods. Since completing his PhD in Robotics at the University of Sheffield in 2021, he has been contributing to cutting-edge research at Glasgow. He was honored with the Alan Turing Institute’s Post-Doctoral Enrichment Award in 2022, which supported his postdoctoral research endeavors.

• Affiliations: School of Computing Science, University of Glasgow

Education:

• B.Eng. in Automation, Northwestern Polytechnical University (2014)
• M.Sc.Eng in Advanced Control and System Engineering, University of Sheffield (2015)
• Ph.D. in Robotics, University of Sheffield (2021)

Research Interests:

• Swarm Robotics
• Machine Learning
• Formal Methods
• Human-Swarm Interaction
• Runtime Verification
• 6G Networks and Formal Verification

In publications, Dr. Gu has addressed topics such as optimizing energy efficiency in 6G O-RAN through formal verification, evaluating predictive formal modeling in human-swarm interaction, and enhancing operator awareness in swarm systems. His work bridges theoretical formal methods with practical applications in robotics and telecommunications.

Awards:

• Post-Doctoral Enrichment Award (£2000), Alan Turing Institute (2022)

His research has implications for improving the reliability and efficiency of autonomous systems, with contributions to both academic conferences and journal articles. Collaborations include work presented at the ACM/IEEE International Conference on Human Robot Interaction (HRI) and IEEE RO-MAN.