2023 | Ciencia y TecnologÃa |
Diploma al Mérito | |
2013 | Ciencia y TecnologÃa |
Diploma al Mérito |
Nació el 06/08/1971. Premio Konex 2013 y 2023. Es Licenciado en Computación por la FCEN-UBA (1998) y Doctor en Ingeniería de Software por Imperial College London (2003). Es actualmente investigador superior del Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) y profesor titular del Departamento de Computación de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires (UBA) donde es director del Laboratorio de Fundamentos y Herramientas para la Ingeniería de Software. Fue profesor en Imperial College London (IC), director de YPF, y fundador-director del Instituto UBA/CONICET de Ciencias de la Computación y del Centro Interinstitucional UBA/MINCYT de Ciencia de Datos. Es profesor visitante en Imperial College London y en el Instituto Nacional de Informática de Japón. Se desempeña actualmente como Editor-en-Jefe de IEEE Transactions on Software Engineering, además fue editor asociado de Communications of the ACM, Science of Computer Programming y del Requirements Engineering Journal. Fue general chair y program chair de la IEEE/ACM International Conference on Software Engineering y ha recibido distinciones del European Research Council, ACM, IBM, Microsoft, Google, y la Fundación Konex. Su área de investigación es la Ingeniería de Software y más específicamente el uso de métodos formales para la verificación, validación y síntesis de sistemas intensivos en software. Sus contribuciones más importantes al área de la Ingeniería de Software son el uso de descripciones parciales para el modelado y análisis del comportamiento de sistemas, y el uso de técnicas de síntesis de controladores para el diseño de sistema adaptativos. Recibió el Premio Houssay y es miembro de la Academia Nacional de Ciencias Exactas, Físicas y Naturales.