Nuevos proyectos financiados por la UNC

Días atrás, la SeCyT-UNC informó los resultados de la convocatoria para subsidios tipo A, B, C y programas. Entre los beneficiados se encontraba un programa y tres proyectos cuyos titulares y la mayoría de los participantes son miembros de el DSG. Los proyectos beneficiados son:

• Fundamentos, Algoritmos y Herramientas para la Construcción de Programas Confiables (Director: Pedro R. D’Argenio, Co-Director: Nicolás Wolovick).
• Generación de modelos abstractos de comportamiento basados en habilitación (Director: Matías D. Lee).
• Diagnosticabilidad y testing de sistemas distribuidos (Director: Laura Brandán Briones).
• Computación Heterogénea de Alto Desempeño (Director: Nicolás Wolovick).
• Fundamentos y Técnicas para el Análisis de Fiabilidad de Sistemas Distribuidos y Estocásticos (Director: Pedro R. D’Argenio, Co-Director: Damián Barsotti).