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 1 of 1 Results 1 to 21 of 21

  • Reasoning about Bias in Multi-Agent Systems Verification

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

  • Counterfactual Reasoning for Causal Responsibility Attribution in Probabilistic Multi-Agent Systems

    Mu, C., Najib, M.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    • [ONLINE]

  • Probabilistic Strategy Logic with Degrees of Observability

    Mu, C., Motamed, N., Alechina, N., Logan, B.
    Contributions to Journals: Conference Articles
    • [ONLINE] DOI:
    • [OPEN ACCESS]

  • Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

    Mu, C., Najib, M., Oren, N.
    Contributions to Journals: Conference Articles
    • [ONLINE] DOI:
    • [OPEN ACCESS]
    • [ONLINE]

  • Measuring Responsibility in Multi-Agent Systems

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

  • Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

    Mu, C., Najib, M., Oren, N.
    Working Papers: Preprint Papers
    • [ONLINE] DOI:
    • [OPEN ACCESS]

  • Bunch theory: Axioms, logic, applications and model

    Stoddart, B., Dunne, S., Mu, C., Zeyda, F.
    Journal of Logical and Algebraic Methods in Programming, vol. 140, 100977
    Contributions to Journals: Articles
    • [ONLINE] DOI:
    • [OPEN ACCESS]

  • On Observability Analysis in Multiagent Systems

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

  • Quantitative Verification of Opacity Properties in Security Systems

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

  • Verifying Opacity Properties in Security Systems

    Mu, C., Clark, D.
    IEEE Transactions on Dependable and Secure Computing, vol. 20, no. 2, pp. 1450-1460
    Contributions to Journals: Articles
    • [ONLINE] DOI:
    • [OPEN ACCESS]
    • [OPEN ACCESS]

  • 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:

  • Asymptotic behaviour in temporal logic

    Asarin, E., Blockelet, M., Degorre, A., Dima, C., Mu, C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    • [ONLINE] DOI:
    • [OPEN ACCESS]

Refine

Books and Reports

Chapters in Books, Reports and Conference Proceedings

Contributions to Journals

Working Papers

Update