If you made any changes in Pure these will be visible here soon.

Personal profile

Academic Biography

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.

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

Fingerprint Dive into the research topics where Chunyan Mu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Time Operator Mathematics
Reaction Network Mathematics
Stochastic Networks Mathematics
Coarse-graining Mathematics
Bounded Operator Mathematics
Temporal Logic Mathematics
Security systems Engineering & Materials Science
Flow control Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2019

  • 3 Paper
  • 2 Article
  • 1 Conference contribution

Automated Game-Theoretic Verification of Security Systems

Mu, C., 2019, (Accepted/In press).

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Security systems
Temporal logic
Markov processes
Telecommunication networks
Costs
18 Downloads (Pure)

Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint

Henze, R., Mu, C., Puljiz, M., Kamaleson, N., Huwald, J., Haslegrave, J., di Fenizio, P. S., Parker, D., Good, C., Rowe, J. E., Ibrahim, B. & Dittrich, P., 7 Mar 2019, In : Nature Scientific Reports. 9, 1, 3902.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
modeling
method
analysis
parameter
15 Downloads (Pure)

Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks

Mu, C., Dittrich, P., Parker, D. & Rowe, J. E., 31 Jul 2018, In : IEEE/ACM Transactions on Computational Biology and Bioinformatics. 15, 4, p. 1152-1166 15 p., 8288662.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Reaction Network
Stochastic Networks
Markov Chains
Coarse-graining
Refinement

Time-sensitive Information Flow Control in Timed Event-B

Mu, C. & Qin, S., 13 Sep 2017.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Flow control
Specifications
Application programs
Monitoring

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

Mu, C., Dittrich, P., Parker, D. & Rowe, J. E., 21 Sep 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File