Search
People

Dr Rafael Cardoso

Dr Rafael Cardoso
Dr Rafael Cardoso
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
Facebook
ORCiD
ResearchGate
Personal Website
Pure
Google Scholar
Linkedin

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 (since August 2024)

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)

Latest Publications

View My Publications

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).
  • ECAI 2025 Outstanding Program Committee member award.
Research

Research Overview

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.

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

Supervising
Accepting PhDs
View Research Area

Research Specialisms

  • Artificial Intelligence
  • Knowledge and Information Systems
  • Software Engineering
  • Applied Computing
  • Intelligent 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.

A Dual-System Neuro-Symbolic Decision-Making Approach for Autonomous Agents

In this work, we explore decision-making using a Machine Learning (ML) system and a rule-based system, and determine how to switch control between the two to make better decisions. This is based on the dual-process theory from psychologist Daniel Kahneman (book "Thinking: Fast and Slow"), which posits that decisions made by humans can originate from one of two systems: "System 1" (fast, intuitive, imprecise) and "System 2" (logical thinking and deliberation).

Academic Paper Link

Supervision

My current supervision areas are: Computing Science.

Current PhD supervisions:

  • Jianming Wang, main supervisor, start date November 2025
  • Mahirul Islam (University of Newcastle), co-supervisor, start date 2024

Past PhD supervisions:

  • Dr Peter Stringer (University of Manchester), co-supervisor, end date January 2024, Thesis title “Adaptable Beliefs-Desires-Intentions Reasoning”

Supervisees

  • MR JIANMING WANG

Funding and Grants

Ongoing grants:

  • 2-year networking project with PUCRS (Brazil) on “Exploring AI techniques to improve performance and reliability of appendable-block blockchains in IoT environments” with travel funding for research visits, funded by CNPq, £32k 
  • 2-year networking project with UTFPR (Brazil) on “Engineering Neuro-Symbolic Agents” with travel funding for research visits, funded by CNPq, £26K

Past grants:

  • 15-day research visit to the University of Genoa (Italy) from the UK-Italy Trustworthy AI, Visiting Researcher Programme funded by the Alan Turing Institute, £5k
  • 15-day research visit to PUCRS (Brazil) funded by CAPES - Institutional Project of Internationalization, £5k
  • Scholarship from the Coimbra Group for a 6-month PhD research visit to Charles University (Czech Republic)
  • Recipient of the Emerging Leaders in the Americas Program for a 4-month MSc research visit to York University (Canada)
Teaching

Programmes

Courses

Publications

Page 2 of 2 Results 11 to 18 of 18

Show 10 | 25 | 50 | 100 results per page

Refine

Chapters in Books, Reports and Conference Proceedings

Contributions to Journals

Update