Experiente em pesquisa científica e suas aplicações à pesquisa técnica e desenvolvimento de software. 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. Atualmente migrando da academia para a indústria em busca de novos desafios.
Doutorando em Cotutela em Ciência da Computação na Universidade Federal de Minas Gerais (UFMG), Brasil, e na Macquarie University, Austrália. Mestre em Ciência da Computação e Bacharel em Física pela UFMG. Membro do Topete Research Group e do Laboratório INSCRYPT | T-Rex.
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
Bolsista International Macquarie University Research Excellence Scholarship (iMQRES) na School of Computing.
Orientado por Annabelle McIver.
Bolsista CAPES no Programa de Pós-Graduação em Ciência da Computação.
Área de pesquisa: Teoria do Fluxo de Informação Quantitativo e aplicações para caracterizar precisamente como diferentes métodos de introdução de ruído afetam o equilíbrio entre privacidade e utilidade em microdados e em publicações de dados estatísticos.
Orientado por Mário Alvim.
Principais disciplinas: Fluxo de Informação Quantitativo, Métodos Formais, Fundamentos de Teoria da Computação, Algoritmos Exatos Exponenciais e Complexidade Parametrizada.
Bolsista CNPq no Programa de Pós-Graduação em Ciência da Computação.
Dissertação defendida e aprovada em 28 de abril de 2021, intitulada A formal quantitative study of privacy in the publication of official educational censuses in Brazil.
Orientado por Mário Alvim, da UFMG, e por Annabelle McIver, da Macquarie University.
Principais disciplinas: Projeto e Análise de Algoritmos, Teoria da Informação, Otimização Linear, Estatística para Ciência dos Dados, Métodos Experimentais Quantitativos.
Atividades:
Principais disciplinas: Cálculo e Cálculo Vetorial, Equações Diferenciais, Álgebra Linear, Mecânica, Hidrodinâmica, Eletrodinâmica, Óptica, Relatividade Geral, Mecânica Quântica, Termodinâmica, Física Estatística, Neurociência.
Atividades:
Incompleto.
Principais disciplinas: Cálculo e Cálculo Vetorial, Física Geral, Química Inorgânica, Química Orgânica, Biologia Celular, Bioquímica, Startups e Gerenciamento da Inovação.
Incompleto.
Principais disciplinas: Anatomia e Neuroanatomia Humana, Histologia Humana, Embriologia Humana, Bioquímica.
Pesquisa sobre estruturas eletrônicas e propriedades elétricas de superfícies usando microscopia de tunelamento (STM) e espectroscopia de fotoluminescência.
Bolsista FAPEMIG - Orientado por Gustavo Sáfar.
Desenvolvimento de um espectrômetro óptico de alta resolução e baixo custo (Lumus Max). Algumas partes do hardware foram projetadas usando o SolidWorks da Dassault Systèmes e o software foi implementado usando a linguagem de programação visual LabVIEW da National Instruments.
Desenvolvimento de uma armadilha de Paul elétrica (armadilha de íon quadrupolo).
Bolsista PROGRAD & CNPq na Sala de Demonstrações de Física - Orientado por Elmo Salomão.
Aplicação de espectroscopia vibracional e de cálculos teóricos a complexos bioinorgânicos metal-aminoácidos.
Bolsista CNPq - Orientado por Joanna Ramos.