Dr. Rafael C. Cardoso

Short Bio

I am a Lecturer in the Department of Computing Science at the University of Aberdeen (UK), and a member of the Agents at Aberdeen (A3) research group. I am also an Honorary Senior Research Associate at both the University of Liverpool (UK) and the University of Manchester (UK), and I am part of the Autonomy and Verification Network. I obtained my Master and my Doctorate degrees in Computer Science from PUCRS (2014 and 2018 resp.), and Bachelor degree in Computer Science from Universidade Franciscana (2012). My main research themes include cross-cutting research on multi-agent systems, multi-agent planning, and hybrid AI, as well as integrating formal verification in software development. I serve as a member of the program committee in several international conferences such as AAAI, IJCAI, AAMAS, and ECAI.

Main Topics of Interest

List of Publications

PhD Thesis

MSc Disseration

BSc Dissertation

Hosted on GitHub Pages using the Dinky theme