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.

Interests
  • Formal Methods
  • Quantitative Information Flow
  • Responsible Computing
  • Data Privacy
  • Information Security
  • Artificial Intelligence
  • Neuroscience
Education
  • 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

Highlights

Publications

(2024). The Privacy-Utility Trade-off in the Topics API. CCS 2024.

PDF Cite Code Dataset Source Document DOI

(2023). A new Framework for Measuring Re-Identification Risk. RegML @ NeurIPS 2023.

PDF Cite Poster Source Document

(2023). A Quantitative Information Flow Analysis of the Topics API. WPES 2023.

PDF Cite Source Document DOI