Senior Lecturer
- About
-
- Email Address
- chunyan.mu@abdn.ac.uk
- Office Address
- School/Department
- School of Natural and Computing Sciences
- Research
-
Research Overview
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 PhDsResearch Specialisms
- Computer Science
- Artificial Intelligence
- Computer and Information Security
Our research specialisms are based on the Higher Education Classification of Subjects (HECoS) which is HESA open data, published under the Creative Commons Attribution 4.0 International licence.
Supervision
A fully funded, full-time PhD position (Home student) is available in trustworthy AI - more specifically - formal verification of safety properties in autonomous systems (ASs). This project focuses on verifying and improving the trustworthiness, resilience, and sustainability of ASs through automated computing techniques, including logic in multiagent systems, and quantitative verification.
Candidates with a strong background and/or interests in formal method, AI, logic in computer science are strongly encouraged to apply. The funded studentship is expected to start around October 2025.
Our fully-funded studentship package includes:
- All home PhD tuition fees paid
- A tax-free stipend at UKRI rates to cover living costs of £20,780 per year (2025/26 stipend rate)
- A Research Training Support Grant (RTSG) of £3,000 each year to support travel, training and consumables costs (up to £12,000 in total)
- Additional funding to support outreach and dissemination, attendance at summer schools, research events, and development projects.
For any questions, feel free to contact me.
- Publications
-
Page 1 of 2 Results 1 to 10 of 20
Probabilistic Strategy Logic with Degrees of Observability
Contributions to Conferences: PapersResponsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems
Contributions to Conferences: PapersProbabilistic Strategy Logic with Degrees of Observability
Working Papers: Preprint Papers- [ONLINE] https://arxiv.org/abs/2412.15135
Measuring Responsibility in Multi-Agent Systems
Working Papers: Preprint Papers- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2411.00887
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/24802/1/main.pdf
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems
Working Papers: Preprint Papers- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2411.00146
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/24808/1/main.pdf
Bunch theory: Axioms, logic, applications and model
Journal of Logical and Algebraic Methods in Programming, vol. 140, 100977Contributions to Journals: ArticlesOn Observability Analysis in Multiagent Systems
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsQuantitative Verification of Opacity Properties in Security Systems
Working Papers: Preprint Papers- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2206.14317
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/21378/1/2206.14317v1.pdf
Verifying Opacity Properties in Security Systems
IEEE Transactions on Dependable and Secure Computing, vol. 20, no. 2, pp. 1450-1460Contributions to Journals: ArticlesIntegrating Information Flow Analysis in Unifying Theories of Programming
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/PRDC53464.2021.00018
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/22325/1/flow_utp.pdf