Dr Yue Gu

  • Research Associate (Computing Science)

email: Yue.Gu@glasgow.ac.uk

F122, Sir Alwyn Williams Building, University of Glasgow, G12 8RZ

Import to contacts

ORCID iDhttps://orcid.org/0000-0002-8134-5822

Biography

Yue received the B.Eng degree in Automation from Northwestern Polytechnical University, Xi’an, China in 2014 and the M.Sc.Eng degree in Advanced Control and System Engineering in 2015 from The University of Sheffield, Sheffield, UK, where he obtained his Ph.D. degree in Robotics in 2021. Since then, he has been a Research Associate with the School of Computing Science, The University of Glasgow, Glasgow, UK, working on the runtime modelling and verification. In 2022, he received the Post-Doctoral Enrichment Award of £2000 from the Alan Turing Institute. His research interests include swarm robotics, machine learning and formal methods.

Publications

List by: Type | Date

Jump to: 2025 | 2024 | 2023
Number of items: 4.

2025

Metere, Roberto, Ye, Kangfeng, Gu, Yue ORCID logoORCID: https://orcid.org/0000-0002-8134-5822, Zhang, Zhi, Alrajeh, Dalal, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Yadav, Poonam (2025) Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification. In: 12th International Symposium DataMod 2024: From Data to Models and Back, Aveiro, Portugal, 4-5 November 2024, ISBN 9783031879074 (doi: 10.1007/978-3-031-87908-1_9)

Abioye, Ayodeji O., Hunt, William, Gu, Yue ORCID logoORCID: https://orcid.org/0000-0002-8134-5822, Schneiders, Eike, Naiseh, Mohammad, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481, Ramchurn, Sarvapali D., Fishcer, Joel E. and Soorati, Mohammad (2025) A user study evaluation of predictive formal modelling at runtime in human-swarm interaction. ACM Transactions on Human-Robot Interaction, (doi: 10.1145/3727989) (Early Online Publication)

2024

Abioye, Ayodeji O., Hunt, William, Gu, Yue, Schneiders, Eike, Naiseh, Mohammad, Fischer, Joel E., Ramchurn, Sarvapali D., Soorati, Mohammad D., Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2024) The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In: 19th Annual ACM/IEEE International Conference on Human Robot Interaction (HRI 2024), Boulder, Colorado, USA, 11-15 March 2024, pp. 172-176. ISBN 9798400703232 (doi: 10.1145/3610978.3640725)

2023

Gu, Yue, Hunt, William, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Soorati, Mohammad D. (2023) Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. In: IEEE RO-MAN 2023, Busan, Korea, 28-31 August 2023, pp. 541-548. ISBN 9798350336702 (doi: 10.1109/RO-MAN57019.2023.10309626)

This list was generated on Sun Jun 15 04:31:17 2025 BST.
Jump to: Articles | Conference Proceedings
Number of items: 4.

Articles

Abioye, Ayodeji O., Hunt, William, Gu, Yue ORCID logoORCID: https://orcid.org/0000-0002-8134-5822, Schneiders, Eike, Naiseh, Mohammad, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481, Ramchurn, Sarvapali D., Fishcer, Joel E. and Soorati, Mohammad (2025) A user study evaluation of predictive formal modelling at runtime in human-swarm interaction. ACM Transactions on Human-Robot Interaction, (doi: 10.1145/3727989) (Early Online Publication)

Conference Proceedings

Metere, Roberto, Ye, Kangfeng, Gu, Yue ORCID logoORCID: https://orcid.org/0000-0002-8134-5822, Zhang, Zhi, Alrajeh, Dalal, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Yadav, Poonam (2025) Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification. In: 12th International Symposium DataMod 2024: From Data to Models and Back, Aveiro, Portugal, 4-5 November 2024, ISBN 9783031879074 (doi: 10.1007/978-3-031-87908-1_9)

Abioye, Ayodeji O., Hunt, William, Gu, Yue, Schneiders, Eike, Naiseh, Mohammad, Fischer, Joel E., Ramchurn, Sarvapali D., Soorati, Mohammad D., Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2024) The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In: 19th Annual ACM/IEEE International Conference on Human Robot Interaction (HRI 2024), Boulder, Colorado, USA, 11-15 March 2024, pp. 172-176. ISBN 9798400703232 (doi: 10.1145/3610978.3640725)

Gu, Yue, Hunt, William, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Soorati, Mohammad D. (2023) Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. In: IEEE RO-MAN 2023, Busan, Korea, 28-31 August 2023, pp. 541-548. ISBN 9798350336702 (doi: 10.1109/RO-MAN57019.2023.10309626)

This list was generated on Sun Jun 15 04:31:17 2025 BST.