Dr Rafael Cardoso

About

Email Addressrafael.cardoso@abdn.ac.ukTelephone Number+44 (0)1224 272292Office Address Office 226 Meston BuildingOld Aberdeen CampusMeston Walk AB24 3UEView on Map School/DepartmentSchool of Natural and Computing Sciences FacebookORCiDResearchGatePersonal WebsitePureGoogle ScholarLinkedin Biography I have been 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 theme. My main research interests are multi-agent systems, multi-agent planning, neuro-symbolic AI, dual-process theory, and formal verification. I apply my research to a wide variety of application domains, with a particular interest in robotic systems and autonomous vehicles. Memberships and Affiliations Internal Memberships P

Selected publications

• A Compositional Approach to Verifying Modular Robotic Systems 2026 - PublishedLuckcuck, M., Farrell, M., Ferrando, A., Cardoso, R. C., Dennis, L. A., Fisher, M. Robotics and autonomous systems, vol. 205, 105648Contributions to Journals: Articles[ONLINE] DOI: https://doi.org/10.1016/j.robot.2026.105648[OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/ef1f2fd5-600b-480d-b25e-2f4efb68186e/download
• [ONLINE] DOI: https://doi.org/10.1016/j.robot.2026.105648
• [OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/ef1f2fd5-600b-480d-b25e-2f4efb68186e/download
• A multimodal dataset for environmental occupancy detection 2026 - PublishedDeconto, G. D., Zorzo, A. F., Lunardi, R. C., Cardoso, R. C., Teixeira, L. d. S. Data in brief, vol. 67, 112948Contributions to Journals: Articles[ONLINE] DOI: https://doi.org/10.1016/j.dib.2026.112948[OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/e05f1218-9cdf-46d0-9998-fd32dbedd7fd/download
• [ONLINE] DOI: https://doi.org/10.1016/j.dib.2026.112948
• [OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/e05f1218-9cdf-46d0-9998-fd32dbedd7fd/download
• GasSentry: A Multi-Agent LLM Framework for Smart Contract Security Vulnerability Remediation and Gas Optimisation 2026 - Accepted/In pressAbubakar, M., Castagna Lunardi, R., Cardoso, R. C. Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
• A Multi-Robot Architecture for Continuous Planning and Execution using BDI Agents 2026 - PublishedSilva, C. J., Ralha, C. G., Santos, R. M., Cardoso, R. C. Chapters in Books, Reports and Conference Proceedings: Conference Proceedings[ONLINE] DOI: https://doi.org/10.65109/MCRY4236[OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/e44a990b-1e1d-4540-b1bf-e78c969d7caf/download
• [ONLINE] DOI: https://doi.org/10.65109/MCRY4236
• [OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/e44a990b-1e1d-4540-b1bf-e78c969d7caf/download