Dr. Rafael C. Cardoso

Short Bio

Bachelor in Computer Science from Centro Universitário Franciscano (2012), Master in Computer Science from Pontifícia Universidade Católica do Rio Grande do Sul (2014), and Doctorate in Computer Science from Pontifícia Universidade Católica do Rio Grande do Sul (2018). Currently I am a Research Associate at the University of Liverpool. My main research themes are Multi-Agent Systems (MAS), Multi-Agent Planning (MAP), and Formal Verification.

Main Topics of Interest

List of Publications

PhD Thesis

MSc Disseration

BSc Dissertation









Hosted on GitHub Pages using the Dinky theme