Currently I hold a professorship (Profesor Adjunto) at FAMAF:
- Advanced Concepts of Programming Languages (2nd sem 2017).
- Paradigms of Programming (1st sem 2017).
- Databases (2nd sem 2016).

Previously I was
- 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.