Edinburgh Research Explorer

Dr Wei Chen

(Former employee or visitor)


Wei Chen is a Reseach Associate in the School of Informatics at the University of Edinburgh. He received his BA in Science from Nanjing University of Science and Technology in 2001, his MS in Engineering from Tsinghua University in 2007, and his PhD from University of Nottingham in 2012. His PhD thesis is: Types, Rings, and Games, supervised by Prof. Roland C. Backhouse. From 2012 to 2013 Wei worked with Prof. Martin Hofmann on the type-based verification at Munich University. He started his RA in App Guarden project with David Aspinall since Oct. 2013.

Wei had worked for Huawei Technology Ltd. from 2001 to 2003. His main responsibiltiy was to test and maintain large-scale intelligent telecommunication networks in China. He also worked shortly for Shanghai Bell-Alcatel Ltd. in 2004.


2012Doctor of Philosophy, PhD, University of Nottingham, UK
2007Master of Engineering, 1st, Tsinghua University, China
2001Bachelor of Science, 1st, Nanjing University of Science and Technology, China

Research Interests

Wei Chen's main research interests are in formal methods, in particular, type theory, combinatorial games, and Buechi automata with their applications in program analysis, transformation, and verification. He is currectly interested in combining formal methods and machine learning methods to help with mobile security, e.g., incrementally learning context-sensitive security policies, automated security report of mobile apps, and automatic explanation of malware behaviour, etc.

Research outputs

  1. The continuum of care for dementia: needs, resources and practice in China

    Research output: Contribution to journalReview article

  2. Formal Analysis of Sneak-Peek: A Data-Centre Attack and its Mitigations

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (22) »

ID: 16351268