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
-
Current:
- Director of Undergraduate Pathways in Computing Science
Past:
- School of Natural and Computing Sciences Employability and Skills Champion (from 2023 to 2024)
- Computing Science Outreach Director (from 2022 to 2024)
- 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
- 2024-25
Academic years that I have taught this course:
- 2021-22
- 2022-23
- 2023-24
- 2024-25
Academic years that I have taught this course:
- 2022-23
Academic years that I have taught this course:
- 2023-24
- 2024-25
Academic years that I have taught this course:
- 2023-24
Academic years that I have taught this course:
- 2024-25
- Publications
-
Page 1 of 2 Results 1 to 10 of 15
Reliable Intention Selection in BDI Agents with Recovery Shields
Contributions to Conferences: Oral PresentationsPreface
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 Proceedings
