Cotutelle Doctoral candidate in Computer Science at the Federal University of Minas Gerais (UFMG), Brazil, and at Macquarie University, Australia. Master in Computer Science and Bachelor in Physics from UFMG. Interested in Formal Methods, Quantitative Information Flow, Responsible Computing, Artificial Intelligence, and Neuroscience.
Member of Topete Research Group and INSCRYPT | T-Rex Laboratory.
PhD in Computer Science, 2025
Macquarie University, Australia
PhD in Computer Science, 2025
Federal University of Minas Gerais, Brazil
MSc in Computer Science, 2021
Federal University of Minas Gerais, Brazil
BSc in Physics, 2018
Federal University of Minas Gerais, Brazil