• View
• Edit
• History
• Print

HomePage

Mario R. Folhadela Benevides

Short bio

I am an Associate Professor at Instituto de Computação - Universidade Federal Fluminense (IC/UFF) and researcher at FR∀M∃ Lab, sinse January 2020. Formerly, I was a Full Professor at Universidade Federal do Rio de Janeiro. I work mainly with logics applied to Computer Science problems and Artificial Intelligence.

Research interests

• Modal logics
• Dynamic logics
• Formal methods
• Epistemic Logics
• Dynamic Epistemic logics
• Petri nets
• Process Algebras
• Model Checking

If you think that we can join efforts working together, send me an email!