Short bio

I have been an assistant professor at the Department of Computer Science (DCC) of the Federal University of Minas Gerais (UFMG) since September 2013 (tenured in 2016). DCC is one of the three CS departments in the country ranked as a center of excellence by the Brazilian Government.

For the whole year of 2023, I was a visiting scholar/engineer at Inria Saclay to collaborate with the team of Prof. Catuscia Palamidessi on formal methods for responsible computing. I was a visiting professor for 5 weeks in 2019 at the School of Computing of Macquarie University to collaborate with the team of Prof. Annabelle McIver on the same topics.

From January 2012 until September 2013 I was a post-doctoral researcher at the Department of Mathematics at the University of Pennsylvania under the supervision of Prof. Andre Scedrov, with funds from the Stanford Science of Cyber-security MURI. During this post-doc, I had the pleasure of maintaining a close collaboration with Prof. Fred B. Schneider from the Department of Computer Science at Cornell University.

I obtained a Ph.D. in Computer Science from LIX, École Polytechnique (France) in 2011 under the supervision of Prof. Catuscia Palamidessi, with funds from CNRS and DGA. My dissertation on Formal Approaches to Information Hiding was a finalist of the Prix de Thèse ParisTech 2012, granted by the Paris Institute of Technology (ParisTech).

I obtained an MSc. degree in Computer Science from UFMG in 2008, with a focus on Proof Theory and Logics, under the supervision of Prof. Elaine Pimentel and the co-supervision of Prof. Roberto Bigonha. Before that, I obtained my BSc. degree in Computer Science also from UFMG, in 2006.