![Dr Chunyan Mu Dr Chunyan Mu](/img/200x200/staffpages/uploads/s19cm2/avatar/5qONQkJEzLmcuah9Z9mO2cxGE8rGSy1Xk4rpztvD.jpeg)
Dr Chunyan Mu
Senior Lecturer
- About
-
- Email Address
- chunyan.mu@abdn.ac.uk
- Office Address
- School/Department
- School of Natural and Computing Sciences
- Research
-
Research Overview
Information flow security, language-based security, privacy issues in mulit-agent systems & machine learning, and quantitative verification.
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
- 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.
- Publications
-
Page 2 of 2 Results 11 to 15 of 15
Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint
Nature Scientific Reports, vol. 9, no. 1, pp. 1-17Contributions to Journals: ArticlesOrganisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics., vol. 15, no. 4, pp. 1152-1166Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1109/TCBB.2018.2804395
Time-sensitive information flow control in timed event-B
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsFormal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-319-45177-0_15
Asymptotic behaviour in temporal logic
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1145/2603088.2603158
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/19895/1/lics14.pdf