Dr Mengwei Xu

Research Fellow - Department of Computer Science - University of Manchester.

mengwei.xu@manchester.ac.uk Google Scholar ORCID Linkedin

Biography

Mengwei studied Mathematics and was granted his undergraduate degree with First Class Honours (95%) by Queen’s University of Belfast (together with a Graduate Prize of the Year in 2016) and a Bachelors degree (GPA 4.5 out of 5) by Anhui University of Finance Economics. After the undergraduate, Mengwei pursued a PhD degree supervised by Professor Weiru Liu at University of Bristol. During the PhD, Mengwei published high quality work dealing with autonomous agents, planning, and multi-criteria decision making in highly ranked conferences. Throughout the study life, Mengwei has a sustained track record of securing highly competitive scholarships and fundings from a diverse range of educational institutions (over £100K). After the PhD, Mengwei joined the Formal Analysis, Theory and Algorithms Group as a Research Associate working on trustworthy autonomous agents (evidenced by highly ranked journal and premier conferences) with Professor Dame Muffy Calder, Dr. Michele Sevegnani, and Dr Blair Archibald at the University of Glasgow. Currently, Mengwei is a member of The Autonomy and Verification Group focusing on autonomous systems and their development, verification, and analysis, working under the supervision of Dr. Louise Dennis at the University of Manchester.

Education

2020: PhD in Computer Science at University of Bristol.

2016: First Class Honours in Mathematics at Queen’s University of Belfast.

2016: Bachelor Degree in Mathematics and Applied Mathematics at Anhui University of Finance Economics.

Publication

* denotes the principal or corresponding author.