School of Computing, Media & the Arts
please wait

Page loading - please wait...

Dr Chunyan Mu

Chunyan Mu

About Chunyan Mu

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 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.


C. Mu and S. Qin. "Time-sensitive Information Flow Control in Timed Event-B",11th International Symposium on Theoretical Aspects of Software Engineering (TASE). Sophia Antipolis, France. 13-15 September 2017.

C. Mu, P. Dittrich, D Parker, J. E. Rowe. "Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory", 14th International Conference Computational Methods in Systems Biology (CMSB), 2016.

E. Asarin, M. Bockelet, A. Degorre, C. Dima and C. 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.

E. Asarin, M. Blockelet, A. Degorre, C. Dima, and C. Mu. “Entropy model checking”, presented at The 12th Workshop on Quantitative Aspects of Programming Languages (QAPL), ETAPS, Apr. 2014.

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

J. Bryans, M. Koutny, C. Mu. “Towards Quantitative Analysis of Opacity”, The 7th Trustworthy Global Computing (TGC), Sep. 2012.

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

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

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

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

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

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

C. Mu, D. 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.

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

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