PhD candidate in Computer Science at the Federal University of Minas Gerais (UFMG), Brazil. MSc in Computer Science and BSc in Physics from UFMG. Interested in Formal Methods, Quantitative Information Flow, Privacy, Justice, Artificial Intelligence, and Neuroscience.