缅北禁地

I am a lecturer at the group of Advanced Model-Based Engineering and Reasoning (AMBER) in the School of Computing from Sep 2023. Before joining 缅北禁地, I was a Research Fellow at the at the University of Manchester (Jan 2023 - August 2023) and a Research Associate at the at the University of Glasgow (June 2020 - Dec 2022). I obtained my Ph.D. at the University of Bristol in autonomous agent systems in 2020. For more information and my publications, please visit https://mengweixu.netlify.app.

Area of expertise: Autonomous systems, Automated decision-making, Formal verification and synthesis.

Mengwei's expertise is in designing, developing, and analysing autonomous agent systems, in particular, the rational agent, e.g. Beliefs-Desires-Intentions agents. Mengwei is particularly interested in designing and analysing autonomous systems that require increasingly important yet traditionally non-functional requirements such as trustworthiness, transparency, explainability, ethics, and privacy.

CSC1035-1036: Programming Portfolio

CSC3094: Major Project and Dissertation in Computer Science

CSC3094: co-Theme Leader for Frontiers of Computing Theory

• Articles

  • Archibald B, Calder M, Sevegnani M, Xu M. . Software and Systems Modeling 2024, 23, 343-367.
  • Archibald B, Sevegnani M, Xu M. . Science of Computer Programming 2025, 242, 103254.
  • Archibald B, Calder M, Sevegnani M, Xu M. . Science of Computer Programming 2021, 215, 102760.

• Conference Proceedings (inc. Abstracts)

  • Xu M, Dennis L, Mustafa M. . In: 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024). 2024, Auckland, New Zealand: ACM.
  • Xu M, Lumley T, Fraga Pereira R, Meneguzzi F. . In: 27th European Conference on Artificial Intelligence (ECAI 2024). 2024, Santiago de Compostela, Spain: IOS Press.