Currently I hold a professorship (Profesor Adjunto) at FAMAF:
Previously I was
- Bases de Datos (2nd sem 2016).
- Jefe de Trabajos Prácticos (JTP) (sort of a TA on steroids) in FAMAF in the following courses:
- 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.