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). Se dedica al estudio de métodos formales en la ingeniería de software. Sus contribuciones principales son en 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 sistemas adaptativos. Es investigador principal del CONICET, profesor titular de la UBA, y profesor visitante del Imperial College London y del Instituto Nacional de Informática de Japón. Fue reconocido, entre otros, por CESSI; Microsoft Research; Consejo Europeo de Investigación; IBM, y recibió el Premio Houssay y Investigador Distinguido de ACM. Miembro de la Academia Nacional de Ciencias Exactas, Físicas y Naturales.