Dr Rafael Cardoso | The University of Aberdeen

Dr Rafael Cardoso

Lecturer

Accepting PhDs

About

Email Address: rafael.cardoso@abdn.ac.uk
Telephone Number: +44 (0)1224 272292
Office Address: Office 226 Meston Building
Old Aberdeen Campus
Meston Walk
AB24 3UE
View on Map
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 (A³) 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.

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 (1^st place in 2016, 4^th place in 2017, 2^nd place in 2018, 1^st place in 2019, 2^nd 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.

Email Me

Computing Science

Accepting PhDs

View Research Area

Research 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

Software Agents And Multi-Agent Systems CS551K
Academic years that I have taught this course:
- 2021-22
- 2022-23
- 2023-24
- 2024-25
Knowledge Representation And Reasoning CS551J
Academic years that I have taught this course:
- 2021-22
- 2022-23
- 2023-24
- 2024-25
Information Security CS5099
Academic years that I have taught this course:
- 2022-23
Database Systems And Big Data CS5097
Academic years that I have taught this course:
- 2023-24
- 2024-25
Introduction to Programming CS5076
Academic years that I have taught this course:
- 2023-24
Robotics CS4048
Academic years that I have taught this course:
- 2024-25

Update