Pedro Sánchez Terraf

CIEM-FaMAFUniversidad Nacional de Córdoba

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-02-16.