Chunyan Mu

Biography

Chunyan joined Teesside University in 2016 as a Senior Lecturer in Computer Science. 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 Interest

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.