Sobre mim

Doutorando em Ciência da Computação no Inria, LIX École Polytechnique e na Universidade Federal de Minas Gerais (UFMG), atualmente estudando Fluxo de Informação Quantitativo (QIF) e um modelo formal para interpretar privacidade como resistência a inferências.

Mais sobre QIF: Topete Research Group

Interesses
  • Fluxo de Informação Quantitativo
  • Privacidade
  • Privacidade diferencial
  • Teoria da Informação
Formação
  • Doutorado em Ciência da Computação, 2023 - presente

    Inria, LIX École Polytechnique

  • Doutorado em Ciência da Computação, 2023 - presente

    Universidade Federal de Minas Gerais (UFMG)

  • Mestrado em Ciência da Computação, 2020 - 2023

    Universidade Federal de Minas Gerais (UFMG)

  • Bacharelado em Sistemas de Informação, 2016 - 2020

    Universidade Federal de Minas Gerais (UFMG)

  • Ensino médio técnico em Informática, 2012 - 2015

    Fundação de Ensino de Contagem (FUNEC)

Formação acadêmica

 
 
 
 
 
Inria, LIX École Polytechnique
Doutorando em Ciência da Computação
mar. 2023 – Presente Palaiseau, França
Estudando um modelo formal para interpretar privacidade como resistência a inferências.
 
 
 
 
 
Universidade Federal de Minas Gerais
Doutorando em Ciência da Computação
fev. 2023 – Presente Belo Horizonte, Minas Gerais, Brazil
Estudando um modelo formal para interpretar privacidade como resistência a inferências.
 
 
 
 
 
Universidade Federal de Minas Gerais
Mestrado em Ciência da Computação
out. 2020 – jan. 2023 Belo Horizonte, Minas Gerais, Brasil

Bolsista CAPES no Programa de Pós-Graduação em Ciência da Computação.

Dissertação defendida e aprovada no dia 11 de janeiro de 2023, intitulada Um modelo de Fluxo de Informação Quantitativo para Ataques de Inferência de Atributo e Utilidade em Divulgação de Dados por Amostragem.

Orientado pelo professor Mário Sérgio Alvim.

Foi membro do time responsável por executar o projeto PRICE (Privacidade nos Censos Educacionais), uma cooperação entre o Departamento de Ciência da Computação da UFMG e o Inep (Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira). Estudou métodos de controle de divulgação de dados, focando especialmente naqueles baseados em privacidade diferencial. Ajudou na criação de alternativas de divulgação do censo educacional brasileiro, realizado pelo Inep.

 
 
 
 
 
Universidade Federal de Minas Gerais
Bacharelado em Sistemas de Informação
jan. 2016 – jun. 2020 Belo Horizonte, Minas Gerais, Brasil
 
 
 
 
 
Ensino médio técnico em Informática
jan. 2012 – dez. 2015 Contagem, Minas Gerais, Brasil

Experience

 
 
 
 
 
Inria Saclay - École Polytechnique de Paris
Estudante visitante
fev. 2022 – mar. 2022 Campus de l'École Polytechnique, Palaiseau, França
Trabalhou juntamente com Catuscia Palamidessi e Mário Alvim em modelos de privacidade utilizando Fluxo de Informação Quantitativo (QIF) para quantificar a vulnerabilidade de sistemas que utilizam privacidade diferencial e shuffling como métodos de proteção à privacidade.
 
 
 
 
 
Departamento de Ciência da Computação, Universidade Federal de Minas Gerais
Iniciação Científica
ago. 2017 – out. 2020 Belo Horizonte, Minas Gerais, Brasil

Trabalhou com privacidade e técnicas de anonimização de dados (e.g., privacidade diferencial) utilizadas na divulgação de bases de dados públicas, tendo como objetivo balancear os níveis de utilidade e privacidade da informação.

Desenvolveu uma ferramenta gráfica didática para visualizar, de forma geométrica, o comportamento de vazamento de canais (sistemas computacionais) a medida que a informação muda.

 
 
 
 
 
Departamento de Ciência da Computação, Universidade Federal de Minas Gerais
Monitor de graduação
mar. 2017 – dez. 2019 Belo Horizonte, Minas Gerais, Brasil
Ajudou estudantes a masterizar conceitos fundamentais sobre programação. Preparou materiais para e lecionou aulas em tópicos selecionados, como circuitos digitais, estruturas básicas de linguagens de programação e algoritmos simples.
 
 
 
 
 
Magnesita Refractories
Técnico em Informática
Magnesita Refractories
jan. 2015 – jun. 2016 Contagem, Minas Gerais, Brasil
Suporte aos usuários (funcionários) na resolução de problemas envolvendo sistemas operacionais, softwares, hardware, problemas de rede e outros. O suporte foi feito por telefone, e-mails e acessos remotos.

Publicações

(2023). Analyzing the Shuffle Model through the Lens of Quantitative Information Flow. 36th IEEE Computer Security Foundations Symposium (CSF).

Citação

Contato