Mengwei studied Mathematics and was granted his undergraduate degree by both the Queen’s University of Belfast and Anhui University of Finance and Economics with greatest honours along with a Graduate Prize. In his early undergraduate study, he indulged his mind for pure mathematics such as Topology and Graph Theory, and became fascinated by Artificial Intelligence in which he pursued a PhD degree supervised by Professor Weiru Liu at the University of Bristol. During his PhD, he has published high quality work dealing with Belief-Desire-Intention (BDI) intelligent autonomous agents, automated planning, and multi-criteria decision making under uncertainty. Throughout his study life, he has a sustained track record of securing highly competitive scholarships and fundings from a diverse range of educational and governmental institutions (over £100K). From 1 June 2020, he joins the Formal Method Group as a Research Associate working on the project of MAGIC led by Dr. Michele Sevegnani and Professor Muffy Calder.
PhD in Artificial Intelligence, 2020
University of Bristol
B.Sc. Honours in Mathematics, 2016
Queen's University Belfast
B.Sc. Distinction in Mathematics, 2016
Anhui University of Finance and Economics