Reseña de los proyectos de investigación de la comunidad, donde participan nuestros/as investigadores/as.
Año 2021
STIC-AmSud 21STIC10 Qapla – Quantum Aspects of Programming Languages
Estado: En Curso
Director: Alejandro Díaz-Caro
PICT-2019-1272 – Estructuras lógicas y algebraicas vinculadas al procesamiento de la información cuántica
Estado: En Curso
Director: Federico Holik (IFLP).
Miembro del grupo responsable: Alejandro Díaz-Caro
Año 2020
PPROF: Ludificación Adaptativa para Proyectos de Crowdsourcing
Estado: En Curso
Director: Diego Torres
Año 2019
PUNQ 1342/9.: Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica.
Estado: En curso
Director: Alejandro Díaz-Caro
PUNQ: Propuestas, lenguajes y herramientas para la enseñanza de Programación Orientada a Objetos
Estado: En curso
Director: Carlos Lombardi
Año 2018
ECOS-Sud A17C03 QuCa: Quantum Calculi – LI
Estado: En curso
Director: Alejandro Díaz-Caro
PUNQ 899/18 (PPROF) Diseño e Implementación de Herramientas para la Detección y el Análisis de Problemáticas Poblacionales.
Estado: Finalizado
Director: Diego Torres
Año 2017
PUNQ 1346/17 Tipado para Patrones y Reducción Eficiente en Programación Funcional
Estado: En curso
Director: Pablo Ernesto Martínez López
PRH 2014 – PICT-2015-1208: Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional.
Estado: Finalizado
Director: Alejandro Díaz-Caro
PICT 2015 / ANPCYT: Tipos y estrategias para el análisis y ejecución de programas.
Estado: Finalizado
Director: Eduardo Bonelli
Año 2016
STIC-AmSud 16STIC05: FoQCoSS – Foundations of Quantum Computation: Syntax and Semantics
Estado: Finalizado
Director: Alejandro Díaz-Caro
Año 2015
PUNQ 1439/15: Entornos y herramientas de desarrollo orientados a objetos
Estado: Terminado
Director:Carlos Lombardi
PUNQ 1414/15: Análisis de evolución de aplicaciones orientadas a objetos usando correlación de indicadores
Estado: Terminado
Director: Gabriela Arévalo
PUNQ 1451/15: Algoritmos eficientes para problemas de grafos
Estado: Terminado
Director: Francisco Soulignac
PUNQ 1425/15: Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos
Estado: Terminado
Director: Alejandro Díaz-Caro
Año 2013
PUNQ 1021/11 :Detección y extracción de dependencias de sistemas orientados a objetos.
Estado: Terminado
Director: Gabriela Arévalo
PUNQ 1011/11: Técnicas rigurosas para el desarrollo de software confiable
Estado: Terminado
Director: Eduardo Bonelli
PUNQ 1258/13: Título: Programación funcional: fundamentos revisados
Estado: Terminado
Director: Eduardo Bonelli
2747 – E 1534/13 Lenguajes de patrones dinámicos: fundamentos e implementación
Financiamiento: ANPCYT
Estado: Terminado
Director: Eduardo Bonelli
PUNQ 1242/13: Modelos alternativos en Programación Orientada a Objetos
Estado: Terminado
Director: Carlos Lombardi
Año 2012
STIC – AmSud: Formal Development of Computer Programs and Applications
Financiamiento: ANPCYT
Estado: Terminado
Director: Eduardo Bonelli
Estado: Terminado
Director: Eduardo Bonelli
Año 2011
PUNQ 1011/11: Técnicas Rigurosas para el desarrollo de software confiable
Estado: Terminado
Director: Eduardo Bonelli