Skip to main content

Staff Profile

Dr Mengwei Xu

Lecturer in Computing

Background

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 Autonomy and Verification Group at the University of Manchester (Jan 2023 - August 2023) and a Research Associate at the Formal Analysis, Theory and Algorithms Group 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.

Research

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.

Teaching

CSC1035-1036: Programming Portfolio

CSC3094: Major Project and Dissertation in Computer Science

CSC3094: co-Theme Leader for Frontiers of Computing Theory

Publications