20132019

Research output per year

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. She obtained her PhD in Computer Science (sponsored by EPSRC) from King's College London. Before joining Teesside University, she worked as a postdoctoral researcher at University of Birmingham, Paris 7.

Summary of Research Interests

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.

Learning and Teaching Interests and Activities

Programming language concept, formal method, information security and cryptography.

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.

  • 2 Similar Profiles

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

Research Output

  • 4 Paper
  • 2 Article
  • 1 Conference contribution

Automated Game-Theoretic Verification of Security Systems

Mu, C., 10 Sep 2019.

Research output: Contribution to conferencePaper

Open Access
File
  • 143 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 journalArticle

    Open Access
    File
  • 218 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 journalArticle

    Open Access
    File
  • 135 Downloads (Pure)

    Time-sensitive Information Flow Control in Timed Event-B

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

    Research output: Contribution to conferencePaper

    Open Access
    File
  • 111 Downloads (Pure)

    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 conferencePaper

    Open Access
    File
    112 Downloads (Pure)