Cientista da computação e físico atuando em computação responsável: métodos formais e quantitativos para estabelecer o que sistemas de dados e algoritmos revelam sobre as pessoas que descrevem. Colaborou em projetos de setores públicos e privados para desenvolver, implementar e entregar soluções científicas e técnicas. Receptor de vários prêmios e bolsas de estudo e co-autor de artigos científicos publicados em locais de alto impacto. Apaixonado por privacidade de dados, métodos formais para verificação de algoritmo e segurança da informação.

Doutor em Ciência da Computação pela Macquarie University, Austrália. Mestre em Ciência da Computação e Bacharel em Física pela Universidade Federal de Minas Gerais (UFMG), Brasil. Membro do Topete Research Group e do Laboratório INSCRYPT | T-Rex.

Interesses
  • Métodos Formais
  • Fluxo de Informação Quantitativo
  • Computação Responsável
  • Privacidade de Dados
  • Segurança da Informação
  • Inteligência Artificial
  • Neurociência
Formação

  • Doutorado em Ciência da Computação, 2025

    Macquarie University, Austrália

  • Doutorado em Ciência da Computação, 2025

    Universidade Federal de Minas Gerais, Brazil

  • Mestrado em Ciência da Computação, 2021

    Universidade Federal de Minas Gerais

  • Bacharelado em Física, 2018

    Universidade Federal de Minas Gerais

Destaques

Publicações

Gabriel H. Nunes (2025). A formal approach to quantify privacy and utility in software and large datasets. UFMG.

PDF Citação DOI

Gabriel H. Nunes (2025). A Formal Approach To Quantify Privacy And Utility In Software And Large Datasets. MQU.

PDF Citação DOI

Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes (2024). The Privacy-Utility Trade-off in the Topics API. CCS 2024.

PDF Citação Código Dados Documento Fonte DOI

Gabriel H. Nunes (2024). AOL Dataset for Browsing History and Topics of Interest. CCS 2024.

Citação Documento Fonte DOI

Gabriel H. Nunes (2024). Topics API Analysis. CCS 2024.

Citação Código Dados Documento Fonte DOI

Mais Publicações

Tópicos

Ataques de Inferência CCS Controle de Divulgação Cookies de Terceiros Datasets Longitudinais Fluxo de Informação Quantitativo Métodos Formais Microdados Padrões da Web PPGCC Privacidade Privacidade Diferencial Publicidade Baseada em Interesses Representações de Usuário Risco de Reidentificação Topics API Trade-off de Privacidade-Utilidade Transparência UFMG Utilidade