I am a Professor at Universidade Federal Fluminense (IC/UFF) and researcher at FR∀M∃ Lab. I have been a visiting scholar at Deduc˫eam/INRIA from which I keep active partnership together with Université Lyon 3 and TecMF/PUC-Rio. 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.
My main research area is Logics, but I use to work in some other applied fields. Among others, my research interests are (alphabetically sorted)
- Automated and semi-automated theorem proving
- Dynamic logics
- Formal methods
- Modal logics
- Petri nets
- Probabilistic logic
- Proof theory
If you think that we can join efforts working together, send me an email!