Teoria espectral de grafos, Otimização semidefinida, Computação quântica, Modelagem matemática aplicada às geociências
Desenvolvimento e Análise de Algoritmos, Complexidade parametrizada, Teoria dos Grafos
Métodos Formais, Verificação Formal, Sintetização de programas, Raciocínio automatizado, Satisfatibilidade Modulo Teorias
Criptografia Teórica e Aplicada, Privacidade Incondicional, Criptografia Quântica, Tecnologias para Eleições
Otimização combinatória, com incerteza, robusta, Pesquisa Operacional, Teoria dos Grafos
Fluxo de Informação Quantitativo, Privacidade, Fundamentos de Segurança da Computação, Métodos Formais
Algoritmos (exatos e aproximados), Otimização combinatória, Teoria dos Grafos, Combinatória poliédrica
Algoritmos, Complexidade Parametrizada, Teoria Estrutural de Grafos, Classes de Grafos, Jogos Combinatórios