School of Computing, Media & the Arts
please wait

Page loading - please wait...

Dr Chunyan Mu

Chunyan Mu

About Chunyan Mu

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 and activities

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.