Currently I hold a professorship (Profesor Adjunto, DS) at FAMAF:

• Advanced Concepts of Programming Languages (2nd sem 2017, 1st sem 2019).
• Paradigms of Programming (1st sem 2017, 2018, 2020).
• Databases (2nd sem 2016, 2018, 2019, 2020).

Previously I was

• Jefe de Trabajos Prácticos (JTP) (sort of a TA on steroids) in FAMAF in the following courses:
  • Paradigms of Programming (1st sem 2016).
  • Algorithms and Data Structures I (2nd sem 2015).
  • Algorithms and Data Structures II (1st sem 2015).
• Professor of the course "Interactive Theorem Proving: Theory and Practice" in the ECI 2014 winter school, in the Universidad de Buenos Aires.
• Professor of the two-months long informal course "Programming Language Verification in Coq" during the winter of 2013-2014, in MPI-SWS.
• TA in the course "Proof Theory" during the summer 2012, UdS.
• TA in the FCEyN, UBA in the following courses and periods:
  • "Logic and Computability", second semester 2008.
  • "Algorithms and Data Structures I", first semester 2008.
  • "Algorithms and Data Structures II", first and second semester 2005-2006.