please wait

Page loading - please wait...

Chunyan Mu

01642 342612
Job title:
Lecturer/Senior Lecturer in Computer Science
School of Computing
Computing research

About Chunyan Mu

Chunyan Mu

Chunyan Mu
Lecturer/Senior Lecturer in Computer Science, School of Computing
T: 01642 342612
Research: Computing research

Dr Mu joined Teesside University in the school of Computing in 2016. She received her PhD from King's College London in 2010. Before joining Teesside, she worked as a research fellow 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.


Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe. "Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory", 14th International Conference Computational Methods in Systems Biology (CMSB), 2016.

Eugene Asarin, Michel Bockelet, Aldric Degorre, Catalin Dima and Chunyan Mu. “Asymptotic behaviour in temporal logic”, Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul. 2014.

Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, and Chunyan Mu. “Entropy model checking”, presented at The 12th Workshop on Quantitative Aspects of Programming Languages (QAPL), ETAPS, Apr. 2014.

Chunyan Mu. “On Information Flow Control in Event B and Refinement”, The 7th International Symposium on Theoretical Aspects of Software Engineering (TASE), Jul. 2013.

Jeremy Bryans, Maciej Koutny, Chunyan Mu. “Towards Quantitative Analysis of Opacity”, The 7th Trustworthy Global Computing (TGC), Sep. 2012.

Chunyan Mu. “Quantitative Program Dependence Graphs”, The 14th International Conference on Formal Engineering Methods (ICFEM), Oct., 2012.

Chunyan Mu, David Clark. “A Tool: Quantitative Analyser for Programs”, International Conference on Quantitative Evaluation of SysTems (QEST), Sept. 2011.

David Clark, Roberto Giacobazzi, Chunyan Mu.
"Foreword: programming language interference and dependence". Mathematical Structures in Computer Science 21(6): 1109-1110 ().

Chunyan Mu. “Quantifying Information Flow for Security via Probabilistic Semantics”, PhD thesis, King's College London (2010).

Chunyan Mu. “Measuring Information Flow in Reactive Processes”, International Conference on Information and Communications Security (ICICS), Dec. 2009.

Chunyan Mu, David Clark. “Automatically Computing Information Flow Quantity via Probabilistic Semantics”, invited submission to Journal of Information Systems Security (JISSec), Volume 5, Dec. 2009.

Chunyan Mu, David Clark. “An Interval-based Abstraction on Quantifying Information Flow”. Presented at the 7th Workshop on Quantitative Aspects of Programming Languages (QAPL), ETAPS. Published in ENTCS, 2009.

Chunyan Mu, David Clark, “Quantitative analysis of secure information flow via probabilistic semantics”, Proceedings of the Conference on Availability, Reliability and Security (ARES), March 2009.

Chunyan Mu. “Quantitative information flow for security: a survey”, Technical Report (TR-08-06), Department of Computer Science, King’s College London, 2008.