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

Publications

Page 1 of 1 Results 1 to 14 of 14

Preface
2025 - Published
Ferrando, A., Cardoso, R. C.
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
2025 - Published
Ferrando, A., Cardoso, R. C.
Science of Computer Programming, vol. 240, 103220
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1016/j.scico.2024.103220
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/24667/1/Ferrando_etal_SCP_Towards_partial_monitoring_VOR.pdf
- [ONLINE] View publication in Scopus
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition
2024 - Published
Buss becker, L., Downs, A., Schlenoff, C., Albrecht, J., Kootbally, Z., Ferrando, A., Cardoso, R., Fisher, M.
Journal of Intelligent & Robotic Systems, vol. 110, no. 112
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1007/s10846-024-02148-6
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/23960/1/Buss_etal_JIRS_Effects_Of_The_VoR.pdf
Security-Minded Verification of Cooperative Awareness Messages
2024 - Published
Farrell, M., Bradbury, M., Cardoso, R. C., Fisher, M., Dennis, L. A., Dixon, C., Sheik, A. T., Yuan, H., Maple, C.
IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4, pp. 4048-4065
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1109/TDSC.2023.3345543
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/23926/1/Farrell_etal_IEEETDSC_Security-Minded_Verification_Cooperative_VOR.pdf
- [ONLINE] View publication in Scopus
BDI Agents in Natural Language Environments
2024 - Published
Ichida, A. Y., Meneguzzi, F., Cardoso, R. C.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] https://dl.acm.org/doi/abs/10.5555/3635637.3662942
- [ONLINE] DOI: https://doi.org/10.5555/3635637.3662942
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/23497/1/Yukio_etal_AAMAS_BDI_Agents_In_VoR.pdf
- [ONLINE] https://www.ifaamas.org/Proceedings/aamas2024/forms/index.htm
Failure Handling in BDI Plans via Runtime Enforcement
2023 - Published
Ferrando, A., Cardoso, R. C.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] DOI: https://doi.org/10.3233/FAIA230336
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/21919/1/Ferrando_etCardoso_ECAI2023_Failure_Handling_in_VOR.pdf
Adaptive Cognitive Agents: Updating Action Descriptions and Plans
2023 - Published
Stringer, P., Cardoso, R. C., Dixon, C., Fisher, M., Dennis, L. A.
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
2023 - Published
Becker, L. B., Downs, A., Schlenoff, C., Kootbally, Z., Ferrando, A., Cardoso, R. C., Fisher, M.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] DOI: https://doi.org/10.1007/978-3-031-43264-4_14
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/21785/1/Becker_etal_EUMAS_Using_a_BDI_AAM.pdf
- [ONLINE] https://eumas23.github.io/home/#accepted
ML-MAS: a Hybrid AI Framework for Self-Driving Vehicles
2023 - Published
Al Shukairi, H., Cardoso, R. C.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] https://dl.acm.org/doi/10.5555/3545946.3598762
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/21262/1/Cardoso_AAMAS_2023_AAM.pdf
Updating Action Descriptions and Plans for Cognitive Agents
2023 - Published
Stringer, P., Cardoso, R. C., Dixon, C., Fisher, M., Dennis, L. A.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] https://dl.acm.org/doi/10.5555/3545946.3598937
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/21263/2/Cardoso_AAMAS_Updating_Action_Descriptions_AAM.pdf
Towards Forward Responsibility in BDI Agents
2023 - Published
Cardoso, R. C., Ferrando, A., Collenette, J., Dennis, L. A., Fisher, M.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] DOI: https://doi.org/10.1007/978-3-031-48539-8_1
- [ONLINE] View publication in Scopus
Extending Attack-Fault Trees with Runtime Verification
2022 - Published
Cardoso, R. C., Ferrando, A., Fisher, M.
Contributions to Journals: Conference Articles
- [ONLINE] https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2022.14
- [ONLINE] DOI: https://doi.org/10.4204/EPTCS.371.14
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/21384/1/Cardoso_etal_EPTCS_Extending_Attack_Fault_VOR.pdf
- [ONLINE] View publication in Scopus
Resilience, reliability, and coordination in autonomous multi-agent systems
2022 - Published
Cardoso, R. C., Logan, B., Meneguzzi, F., Oren, N., Yun, B.
AI Communications, vol. 35, no. 4, pp. 339-356
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.3233/AIC-220136
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/19191/1/Cardoso_etal_AIC_Resilience_Reliability_And_AAM.pdf
Bridging the gap between single- and multi-model predictive runtime verification
2022 - Published
Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M., Mascardi, V.
Formal Methods in System Design, vol. 59, no. 1-3, pp. 44-76
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1007/s10703-022-00395-7
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/21267/1/Ferrando_etal_FMSD_Bridging_The_Gap_VoR.pdf
- [ONLINE] View publication in Scopus

Refine

Chapters in Books, Reports and Conference Proceedings

Conference Proceedings (8)

Contributions to Journals

Articles (5)

Conference Articles (1)

Update