supervision

Current Students

I am currently looking for motivated candidates. Please send me an email if you are interested!

Master/UGrad Students:

• Leonardo Torres (2024-ongoing).

  Advanced Model Theory for Path Predicate Modal Logic (FAMAF-UNC, Argentina).

Former Students

PhD Students:

• Andrés R. Saravia (2024).

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

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).