Dr Rafael Cardoso

Dr Rafael Cardoso
Dr Rafael Cardoso
Dr Rafael Cardoso


Accepting PhDs

Email Address
Telephone Number
+44 (0)1224 272292
Office Address
Office 226 Meston Building
Old Aberdeen Campus
Meston Walk
AB24 3UE

View on Map

School of Natural and Computing Sciences


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 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

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.




Page 1 of 1 Results 1 to 8 of 8


Chapters in Books, Reports and Conference Proceedings

Contributions to Journals