About me

I was born in the south of Cordoba in Argentina, on the 18th of May in 1987.

Nowadays, I am a Researcher (Investigador Asistente) at CONICET, working at Faculty of Mathematics, Astronomy, Physics and Computation (FaMAF) at University of Cordoba, Argentina (designated on September of 2015), into the Logics, Interaction and Intelligent Systems (LIIS) Group. I was a postdoc (2014-2015) and obtained my PhD in 2014 at the same place, under supervision of Carlos Areces. I'm also a Professor (Profesor Asistente) at FaMAF, UNC.

Before that, I studied Computer Science at the Department of Computer Science at University of Rio Cuarto, Argentina, from 2005 to 2010. There I got my degree of "Analista en Computación" and "Licenciado en Ciencias de la Computación".

Research Interests:

  • Modal Logics, Dynamic Logics, Epistemic Logics.
  • Model Theory, Expressivity, Proof Theory.
  • Knowledge Representation, Computability, Computational Complexity.

Projects I'm involved:

© 2011 Maintained by Raul Fervari.