please wait

Page loading - please wait...

Chunyan Mu

T:
01642 343719
Job title:
Senior Lecturer in Computer Science
E:
c.mu@tees.ac.uk
School/department:
School of Computing, Media & the Arts
 
 
Research:
Computing, Media & the Arts research
 
 

About Chunyan Mu

Chunyan Mu

Chunyan Mu
Senior Lecturer in Computer Science, School of Computing, Media & the Arts
T: 01642 343719
E: c.mu@tees.ac.uk
Research: Computing, Media & the Arts research

Chunyan is a Senior Lecturer in Computer Science at Teesside University. She obtained her PhD from King's College London in 2010. Before joining Teesside, she worked as a post-doc researcher at University of Birmingham, Paris 7, and UCL.

Research interests

Her research interests mainly focus on formal method for security, especially on information flow security, language-based security (e.g. type systems guaranteeing security policies such as non-interference), and quantitative verification for security (e.g. measuring security violations and verifying security properties of the systems) by applying information theory, game theory, static analysis, and probabilistic model checking.