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
International Macquarie University Research Excellence (iMQRES) Scholarship at the School of Computing.
Supervised by Prof. Annabelle McIver.
CAPES Scholarship at the Graduate Program in Computer Science.
Research area: Quantitative Information Flow theory and its application to precisely characterize how different methods of noise introduction affect the trade-off between privacy and utility in microdata and statistical data publications.
Supervised by Prof. Mário Alvim.
Main subjects: Quantitative Information Flow, Formal Methods, Computing Theory Fundamentals, Exact Exponential Algorithms and Parameterized Complexity.
CNPq Scholarship at the Graduate Program in Computer Science.
Dissertation defended and approved in April 28, 2021, titled A formal quantitative study of privacy in the publication of official educational censuses in Brazil.
Supervised by Prof. Mário Alvim, from UFMG, and by Prof. Annabelle McIver, from Macquarie University.
Main subjects: Algorithm Design and Analysis, Information Theory, Linear Optimization, Statistics for Data Science, Quantitative Experimental Methods.
Activities:
Main subjects: Calculus and Vectorial Calculus, Differential Equations, Linear Algebra, Mechanics, Hydrodynamics, Electrodynamics, Optics, General Relativity, Quantum Mechanics, Thermodynamics, Statistical Physics, Neuroscience.
Activities:
Unfinished.
Main subjects: Calculus and Vectorial Calculus, General Physics, Inorganic Chemistry, Organic Chemistry, Cell Biology, Biochemistry, Startups and Innovation Management.
Unfinished.
Main subjects: Human Anatomy and Neuroanatomy, Human Histology, Human Embriology, Biochemistry.
Research on electronic structures and electrical properties of surfaces using scanning tunneling microscopy (STM) and photoluminescence spectroscopy.
FAPEMIG Scholarship - Supervised by Prof. Gustavo Sáfar.
Development of a high-resolution and low-cost optical spectrometer (Lumus Max). Some parts of the hardware were designed using Dassault Systèmes’ SolidWorks and the software was implemented using National Instruments’ LabVIEW visual programming language.
Development of an electrical Paul’s Trap (quadrupole ion trap).
PROGRAD & CNPq Scholarships at the Room of Physics Demonstrations - Supervised by Prof. Elmo Salomão.
Application of vibrational spectroscopy and theoretical calculations to bioinorganic metal-amino acid complexes.
CNPq Scholarship - Supervised by Prof. Joanna Ramos.