Resumo

Professor na Universidade Federal Fluminense (IC/UFF) e pesquisador no FRAME Lab. Já fui pesquisador visitante no DeducTeam/INRIA. Minha principal linha de trabalho é na área de lógica para sistemas concorrentes mas também tenho trabalhado no desenvolvimento de provadores de teoremas extensíveis, normalização para sistemas de dedução natural, ontologias, formalização de sistemas multi-agentes e teoria da prova para lógicas. Fui Secretário Geral da Sociedade Brasileira de Lógica por duas gestões (2017-2019 e 2019-2021) e segundo vice-presidente em uma (2023-2025), além de ter sido Coordenador do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação (2020-2024)