Edinburgh Research Explorer

Dr Wei Chen

Research Associate

Phone: +44 (0) 131 650 9004

Biography

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.

Qualifications

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. On Robust Malware Classifiers by Verifying Unwanted Behaviours

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

  2. Explaining Unwanted Behaviours in Context

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

  3. A Text-Mining Approach to Explain Unwanted Behaviours

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

View all (12) »

ID: 16351268