Dr Rafael Cardoso
Telephone
Locations

Dr Rafael Cardoso
Lecturer
- About
-
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, hybrid 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 Lead for the School of Natural and Computing Sciences in the Employability and Entrepreneurship Committee
- School of Natural and Computing Sciences Employability Skills Champion
- Computing Science outreach officer
- 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
Terms that I have taught this course:
- Spring 2021-22
- Spring 2022-23
Terms that I have taught this course:
- Spring 2021-22
- Spring 2022-23
Terms that I have taught this course:
- Winter 2022-23
- Publications
-
Page 1 of 1 Results 1 to 3 of 3
ML-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 ProceedingsResilience, reliability, and coordination in autonomous multi-agent systems
AI Communications, vol. 35, no. 4, pp. 339-356Contributions to Journals: Articles