Experienced in scientific research and its applications to industry technical research and software development. Collaborated on both private and public sectors projects to develop, implement, and deliver scientific and technical solutions. Recipient of multiple awards and scholarships, and co-author of scientific papers published on high-impact venues. Passionate about data privacy, formal methods for algorithm verification, and information security. Currently migrating from academia to industry in pursuit of new challenges.
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. 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 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 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 Mário Alvim, from UFMG, and by 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 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 Elmo Salomão.
Application of vibrational spectroscopy and theoretical calculations to bioinorganic metal-amino acid complexes.
CNPq Scholarship - Supervised by Joanna Ramos.