返回导师列表
MX

Mengwei Xu

Lecturer · School of Computing

Newcastle University · United Kingdom
Autonomous systemsAutomated decision-makingFormal verification and synthesisBDI agentsTrustworthinessTransparencyExplainabilityPrivacy

简介

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.

教育经历

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

代表成果

  • 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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。