Ingeniería de Software

El área comprende métodos, ambientes y herramientas que dan soporte automatizado o semi-automatizado para la construcción de sistemas que hacen un uso intensivo de software. Los integrantes del área tiene interes en la especificación, construcción, análisis, verificación, validación y síntesis de artefactos vinculados al proceso de desarrollo de software utilizando tanto métodos formales como empíricos.

El área esta compuesta basicamente por dos grupos de investigación:

- LAFHIS: Laboratorio de Fundamentos y Herramientas para la Ingeniería de Software

- RFM: Grupo de investigación de Métodos Formales Relacionales

Ambos grupos han publicado trabajos en las principales conferencias y revistas del área y han desarrollado un importante número de herramientas (disponibles en las páginas grupales).

Profesores:  Víctor Braberman (coordinador), Marcelo Frías, Diego Garbervetsky, Joos Heintz, Carlos Lopez Pombo, Hernán Melgratti, Fernando Schapachnik, Sebastián Uchitel

Investigadores: Sergio Yovine

Doctorandos: 

- por LAFHIS: Fernando Asteasuain, Guido de Caso, Hernan Czemerinski, Nicolas D'Ippolito, Daniel Monteverde, Esteban Pavese, Martin Rouaux, Germán Sibay

- por RFM:  Juan Pablo Galeotti, Mariano Moscato, Nicolas Rosner