supervision

Current Students

PhD Students:

• Juliana Putero (2022-ongoing, co-supervisor: Valentin Cassano).

  Description Logics over Data Graphs (FAMAF-UNC, Argentina).

• Andrés R. Saravia (2020-ongoing).

  Ability-Based Epistemic Logics (FAMAF-UNC, Argentina).

Former Students

Master/UGrad Students:

• Ziqi Wang (2024).

  Axiomatizing Ability-Based Logics with Regularity Constraints (GTIIT, China).

• Dámaris Acevedo Giménez (2021, co-supervised with Valentin Cassano).

  Default Description Logics (DC - FCEFQyN - UNRC, Argentina).

• Andrés R. Saravia (2020).

  Tableaux Calculus for Elementary Formulae in Separation Logics (FAMAF-UNC, Argentina).

• Francisco Trucco (2019, co-supervised with Beta Ziliani).

  Verification of Dynamic Modal Logics in Coq (FAMAF-UNC, Argentina).

• Marianela Morales (2019, co-supervised with Lutz Straßburger).

  Labelled Proof Theory for Modal Intuitionistic Logics (FAMAF-UNC, Argentina).

• Nahuel Seiler (2018).

  Tableaux Algorithms for XPath with Data (FAMAF-UNC, Argentina).