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 3 Results 1 to 10 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]
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