I am a Full-time Associate Professor in the Department of Mathematics at the University of Río Cuarto, and a Researcher (Adjunto) at CONICET.

I completed my PhD in 2015 under the supervision of Tom Maibaum at McMaster University, Canada. My thesis focused on Default Logic, a particular approach to Nonmonotonic Reasoning.

From 2015 to 2017, I worked as a Postdoctoral Fellow at the McMaster Centre for Software Certification (McSCERT), Canada.

In 2017, with the support of a CONICET Postdoctoral Scholarship, I returned to Argentina and joined the Logics, Interaction and Intelligent Systems (LIIS) group, led by Carlos Areces. Since then, I have been working at the intersection of Logic and Computer Science, using tools from the world of Modal Logics.

In 2019, I joined the Department of Mathematics at the National University of Río Cuarto as a Full-time Professor (Adjunto), where I teach logic and programming courses for mathematics and computer science students. In 2026, I was promoted to Associate Professor (Asociado).

I have also been a Visiting Assistant Professor at the Guangdong Technion Israel Institute of Technology in Shantou, China.

In 2021, I joined CONICET as a Researcher (Asistente), and in 2025 I was promoted to the next position (Adjunto).

My research interests include:

Non-monotonic Reasoning. Default Logics. Deontic Logics. Algebraic Logic. Dynamic Logics. Epistemic Logics. Logics with Data. Tableaux Systems. Proof Theory.