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 (A³) 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

• Agent-oriented and multi-agent programming languages
• Benchmarking agent- and actor-based programming languages
• Goal allocation protocols
• Coordination mechanisms
• Formal methods (particularly model checking agents)
• Runtime verification
• Multi-agent planning
• Verification of planning
• Hybrid AI, combining multi-agent systems with deep learning
• Annual 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)

List of Publications

PhD Thesis

MSc Disseration

BSc Dissertation

Hosted on GitHub Pages using the Dinky theme