Mengwei Xu

About

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 Newcastle University, I was a Research Fellow at the University of Manchester and a Research Associate at the University of Glasgow. I obtained my Ph.D. at the University of Bristol in autonomous agent systems in 2020. My expertise is in designing, developing, and analysing autonomous agent systems, particularly rational agents like BDI agents, with interests in trustworthiness, transparency, explainability, ethics, and privacy.

Education

• Ph.D. Autonomous Agent Systems, University of Bristol, 2020

Selected publications

• Quantitative Modelling and Analysis of BDI Agents
• Modelling and verifying BDI agents under uncertainty
• Modelling and Verifying BDI Agents with Bigraphs
• Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents
• A Practical Operational Semantics for Classical Planning in BDI Agents