Rafael Cauê Cardoso

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 Lecturer (Assistant Professor) at the Department of Computing Science in the University of Aberdeen. My main research interests are in Multi-Agent Systems, multi-agent planning, hybrid AI, and formal verification.

Possui graduação em Ciência da Computação pelo Centro Universitário Franciscano (2012), Mestrado em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2014), e Doutorado em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2018). Atualmente é professor adjunto no departamento de Ciência da Computação em University of Aberdeen.Tem experiência em Sistemas Multiagentes, planejamento multiagente, IA híbrida, e verificação formal.