Equipos y Líneas de investigación
Ludificación y Ciencia Ciudadana
La ludificación es un método ampliamente usado para convocar, motivar y sostener la participación de las personas a través de la aplicación de elementos de los juegos. La ciencia ciudadana es una forma de hacer ciencia con y para la comunidad. Para saber más: visitá esta página
Lenguajes de programación igualando tipos isomorfos
Investigación doctoral del Profesor Cristian Sottile
Análisis formal de datos heterogéneos
Investigación doctoral de Nicolas Leutwyler (egresado de la Licenciatura en Informática) en cotutela con la Universidad de Lorraine de Francia. Titulo: Métodos formales para la extracción y reutilización del conocimiento de fuentes heterogéneas para la interoperabilidad semántica de arquitecturas distribuidas.
Investigación doctoral de Mariano Ferreiron en cotutela con la Universidad de Lorraine de Francia.Titulo: Análisis formal e inteligente de datos heterogéneos para la web semántica
Actividades Relacionadas
Proyectos de investigación
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