Proyectos PICT para docentes-investigadores del Departamento de Computación

Cuatro docentes del Departamento de Computación han obtenido financiamiento a través sendos proyectos correspondientes a la última convocatoria PICT 2015, correspondiente al Fondo para la Investigación Científica y Tecnológica (FONCyT) de la Agencia Nacional de Promoción Científica y Tecnológica (ANPCyT). Los proyectos que han resultado financiados son los siguientes:

  • Técnicas de Análisis Automático para la Verificación de Propiedades con Enumeración de Eventos en Sistemas Reactivos y sus Aplicaciones (Dr. Germán Regis)
  • Flexibilidad en la Generación Automática de Tests (Dra. Valeria Bengolea)
  • Análisis Automático durante la Etapa Temprana del Proceso de Ingeniería de Requisitos (Dr. Renzo Degiovanni)
  • Análisis acotado eficiente de software basado en SAT solving y cotas ajustadas (Dr. Pablo Ponzio)

Puede encontrarse más información acerca de los proyectos financiados aquí

Categoría: 
test3

Enlaces

Póngase en contacto con nosotros

Nuestras redes sociales

No dudes en comunicarte con nosotros usando las redes sociales.

Contacto

Departamento de Computación

Facultad de Ciencias Exactas, Físico-Químicas y Naturales
Universidad Nacional de Río Cuarto
Ruta Nacional No. 36, Km. 601
Código Postal X5804BYA
Río Cuarto, Córdoba, Argentina

 

Teléfonos: +54 (0358) 4676235/529
Fax:  +54  (0358) 4676235
e-mail: ivan@dc.exa.unrc.edu.ar

Education - This is a contributing Drupal Theme
Design by WeebPal.
test
test1