I am a Professor at Universidade Federal Fluminense (IC/UFF) and researcher at FR#8704;M#8707; Lab. I have been a visiting scholar at Deduc#747;eam/INRIA. I have been working mainly with logics for concurrent systems but I also have been working into the development of extensible theorem provers, normalisation for natural deduction systems, ontologies, formalisation of multi-agent systems and proof theory for logic systems. I was on the directive committee of the Brazilian Logic Society (SBL, 2017-2019 and 2019-2021) and I am the current coordinator of the Logic Interest Group of the Brazilian Computer Society (SBC) and 2o Vice-President of the Brazilian Logic Society.
Professor na Universidade Federal Fluminense (IC/UFF) e pesquisador no FR#8704;M#8707; Lab. Já fui pesquisador visitante no Deduc#747;eam/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 sou atualmente seu Segundo Vice-Presidente, além de Coordenador do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação.
