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.

Interests
  • Formal Methods
  • Quantitative Information Flow
  • Responsible Computing
  • 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

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

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

PDF Cite DOI

(2023). A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow. CCS 2023.

PDF Cite DOI

(2023). A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow. TPDP 2023.

(2023). Measuring Re-identification Risk. SIGMOD/PODS 2023.

PDF Cite Video DOI