Research projects
- Member of Secyt-UNC 05/B284 project “Sheaf representation of algebras”, directed by Diego Vaggione (2002–2015).
- Responsible-group member of PICT2012-1823 project “Foundations, algorithms and tools for the development of dependable distributed systems” directed by Pedro R. D'Argenio (2013–2016).
- Head of Secyt-UNC 30720150100529CB project “Interactions between mathematics and theoretical computer science” (2016–2017).
- Co-director of Secyt-UNC project 33620180100465CB with the same name (2018-2022).
- Head of Secyt-UNC 33620230100751CB project “Definability hierarchies in mathematics and computer science” (2023–2027).
Processed on 2024-11-20.