Lecturer
- About
-
- Email Address
- rafael.cardoso@abdn.ac.uk
- Telephone Number
- +44 (0)1224 272292
- Office Address
- School/Department
- School of Natural and Computing Sciences
Biography
I am a Lecturer in the Department of Computing Science at the University of Aberdeen since January 2022. I am affiliated with the Agents at Aberdeen (A3) research group. For a more up-to-date list of my publications please check my personal website.
My main research interests are multi-agent systems, multi-agent planning, neuro-symbolic AI, and formal verification. I apply my research to a wide variety of application domains, with a particular interest in robotic systems and self-driving vehicles.
Memberships and Affiliations
- Internal Memberships
-
- School of Natural and Computing Sciences Employability and Skills Champion
- Computing Science Outreach Director
- External Memberships
-
- Member of the Autonomy and Verification Network
- Honorary Research Associate at the University of Liverpool (UK)
- Honorary Senior Research Associate at the University of Manchester (UK)
Prizes and Awards
- Active participant of the multi-agent programming contest (1st place in 2016, 4th place in 2017, 2nd place in 2018, 1st place in 2019, 2nd place in 2020/2021).
- Research
-
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
- Artificial Intelligence
- Knowledge and Information Systems
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.
- Teaching
-
Courses
Academic years that I have taught this course:
- 2021-22
- 2022-23
- 2023-24
Academic years that I have taught this course:
- 2021-22
- 2022-23
- 2023-24
Academic years that I have taught this course:
- 2022-23
Academic years that I have taught this course:
- 2023-24
Academic years that I have taught this course:
- 2023-24
- Publications
-
Page 1 of 1 Results 1 to 14 of 14
Preface
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-031-73180-8
- [ONLINE] View publication in Scopus
Towards partial monitoring: Never too early to give in
Science of Computer Programming, vol. 240, 103220Contributions to Journals: ArticlesEffects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition
Journal of Intelligent & Robotic Systems, vol. 110, no. 112Contributions to Journals: ArticlesSecurity-Minded Verification of Cooperative Awareness Messages
IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4, pp. 4048-4065Contributions to Journals: ArticlesBDI Agents in Natural Language Environments
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsFailure Handling in BDI Plans via Runtime Enforcement
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAdaptive Cognitive Agents: Updating Action Descriptions and Plans
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-031-43264-4_22
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsML-MAS: a Hybrid AI Framework for Self-Driving Vehicles
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsUpdating Action Descriptions and Plans for Cognitive Agents
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsTowards Forward Responsibility in BDI Agents
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-031-48539-8_1
- [ONLINE] View publication in Scopus
Extending Attack-Fault Trees with Runtime Verification
Contributions to Journals: Conference ArticlesResilience, reliability, and coordination in autonomous multi-agent systems
AI Communications, vol. 35, no. 4, pp. 339-356Contributions to Journals: ArticlesBridging the gap between single- and multi-model predictive runtime verification
Formal Methods in System Design, vol. 59, no. 1-3, pp. 44-76Contributions to Journals: Articles
