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


PIP 2012 Nº 11220110100468: Inlining sobre-la-marcha de monitores dinámicos de dependencias para flujo de información seguro

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