51cg

People

Dr Chunyan Mu

Dr Chunyan Mu
Dr Chunyan Mu
Dr Chunyan Mu

Senior Lecturer

Accepting PhDs

51cg
Email Address
chunyan.mu@abdn.ac.uk
Office Address
218 Meston Building
Old Aberdeen Campus
Meston Walk
AB24 3UE

View on Map

School/Department
School of Natural and Computing Sciences

Research

Research Overview

My current research is mainly focused on Trustworthy AI and Safe Autonomy: I am interested in reasoning about trustworthiness of autonomous intelligent systems, particularly specifying and verifying responsibility, accountability, resilience, and privacy of multi-agent systems. I am also interested in information flow security.

Research Areas

Accepting PhDs

I am currently accepting PhDs in Computing Science.

Please get in touch if you would like to discuss your research ideas further.

Computing Science

  • Accepting PhDs
View Research Area

Research Specialisms

  • Computer Science
  • Artificial Intelligence
  • Computer and Information Security

Our research specialisms are based on the Higher Education Classification of Subjects (HECoS) which is , published under the licence.

Teaching

Courses

Publications

Page 2 of 3 Results 11 to 20 of 21

  • Integrating Information Flow Analysis in Unifying Theories of Programming

    Mu, C., Li, G.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    • [ONLINE] DOI:
    • [OPEN ACCESS]

  • First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws

    Dunne, S., Mu, C., Stoddart, B.
    17 pages
    Books and Reports: Other Reports
    • [OPEN ACCESS]

  • FOPL and FOPLN Backward Proofs of Equivalence Laws

    Dunne, S., Mu, C., Stoddart, B.
    25 pages
    Books and Reports: Other Reports
    • [OPEN ACCESS]

  • A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems

    Mu, C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    • [ONLINE] DOI:
    • [OPEN ACCESS]

  • Analysing Flow Security Properties in Virtualised Computing Systems

    Mu, C.
    Working Papers: Preprint Papers
    • [ONLINE]
    • [ONLINE] DOI:
    • [OPEN ACCESS]

  • Automated Game-Theoretic Verification of Security Systems

    Mu, C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    • [ONLINE] DOI:
    • [OPEN ACCESS]

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

    Mu, C., Henze, R., Puljiz, M., Kamaleson, N., Huwald, J., Haslegrave, J., Di Fenizio, P. S., Parker, D., Good, C., Rowe, J. E., Dittrich, P., Ibrahim, B.
    Nature Scientific Reports, vol. 9, no. 1, pp. 1-17
    Contributions to Journals: Articles
    • [ONLINE] DOI:
    • [OPEN ACCESS]
    • [OPEN ACCESS]

  • Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks

    Mu, C., Dittrich, P., Parker, D., Rowe, J. E.
    IEEE/ACM Transactions on Computational Biology and Bioinformatics., vol. 15, no. 4, pp. 1152-1166
    Contributions to Journals: Articles
    • [ONLINE] DOI:

  • Time-sensitive information flow control in timed event-B

    Mu, C., Qin, S.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    • [ONLINE] DOI:
    • [ONLINE]

  • Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

    Mu, C., Dittrich, P., Parker, D., Rowe, J. E.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    • [ONLINE] DOI:
Show 10 | 25 | 50 | 100 results per page

Refine

Books and Reports

Chapters in Books, Reports and Conference Proceedings

Contributions to Journals

Working Papers

Update