Hacer ciencia en Ingeniería de Software es entender cómo construir mejor software. Cada día se necesitan más programas para ejecutar aplicaciones y servicios, con menos errores, más rápidos, y que consuman la menor cantidad de recursos tales como espacio o energía. Asimismo, se necesita reducir el costo de crear y mantener estos programas. Las respuestas a estos desafíos son complejas e incluyen tanto aspectos tecnológicos como metodológicos. En el ICC investigamos tres aspectos: Los lenguajes que deben usar los ingenieros de software (tanto para modelar como para programar), qué propiedades deben tener estos lenguajes y qué certezas tendrán los ingenieros al usarlos. El segundo son los algoritmos que puedan entender automáticamente programas y modelos ayudando a ingenieros de software a tener confianza en que son correctos. El tercero es la generación automática de programas a partir de modelos formales.

Keywords: Análisis de Programas, Testing, Model Checking, Síntesis de Controladores