Proyectos de investigación
- Miembro del proyecto Secyt-UNC 05/B284 “Representaciones por haces de álgebras”, dirigido por Diego Vaggione (2002–2015).
- Miembro del Grupo Responsable del proyecto PICT2012-1823 “Fundamentos, algoritmos y herramientas para el desarrollo de sistemas distribuidos confiables”, dirigido por Pedro R. D'Argenio (2013–2016).
- Director del proyecto de investigación Secyt-UNC “Interacciones entre Matemática y Computación Teórica” (2016–2017).
- Miembro del proyecto de investigación Secyt-UNC “Interacciones entre Matemática y Computación Teórica” (2018–2022), dirigido por Miguel Campercholi.
- Director del proyecto de investigación Secyt-UNC 33620230100751CB “Jerarquías de Definibilidad en Matemática y Computación” (2023–2027).
Producido el día 2024-06-26.