We have an amazing range of courses and a choice of how you study
Together with business
The place to come for innovative businesses with big ideas and ambitions
Research at Teesside University is organised within five research institutes
Join our alumni family of more than 45,000 living in over 90 different countries.
Teesside University Alumni Association
Lecturer/Senior Lecturer in Computer Science,
School of Computing
T: 01642 34
Digital Futures Institute
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.
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 (2011).
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.
There is a wealth of research projects taking place to further knowledge and make an impact on people's lives.
View our projects
Members of Digital Futures Institute are involved in a range of research activities. You can view these in detail on each individual profile.
Meet our members