Who I am.

I am Researcher (category Independent) at CONICET and an Associate Professor (tenured) at FAMAF, University of Córdoba (Argentina). Also, I am the Team Leader (Argentinean side) of the Theory of Structured Data of the French-Argentinean LIA SINFIN.

I currently hold the Jean D’Alembert Research Chair at the Laboratoire Méthodes Formelles (LMF) from Université Paris Saclay (France), during my sabbatical in 2025.

Also, I have been a Visiting Associate Professor at Guangdong Technion Institute - GTIIT (China) in Spring 2025, and a Visiting Assistant Professor in 2022-2023.

Before that, I finished my Phd thesis in 2014 under supervision of Carlos Areces at FAMAF, University of Córdoba, Argentina. The title of my thesis is Relation-Changing Modal Logics.

Even before, I received my Master and Bachelor degrees at the CS Department, University of Río Cuarto, Argentina.

My interests in research include:

• Modal Logics. Model theory. Proof theory. Computational aspects.

• Dynamic Logics. Epistemic Logics. Separation Logics.

• Knowledge representation. Non-monotonic reasoning.

• Automated deduction. Interactive theorem proving.

For more info, here is my CV: English/Spanish

Current services:

• Head of the CS Doctoral Program at FAMAF, University of Córdoba (Argentina).

• Coordinator (Alternate) of the Informatics and Communications Commission for promotions, admissions and annual reports at CONICET, Argentina.

• Team Leader (Arg. side) of the group Theory of Structured Data in the LIA SINFIN.

• Member of the Logics, Interaction and Intelligent Systems (LIIS) group, at FAMAF-UNC (Argentina).