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: 

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.
porno tamhd.tv rokettube eskisehir escort eskisehir escort kayseri escort bodrum escort malatya escort malatya escort porno
porno tamhd.tv rokettube eskisehir escort eskisehir escort kayseri escort bodrum escort malatya escort malatya escort porno