El MIT Stephen A. Schwarzman College of Computing nombró a Armando Solar-Lezama como Profesor Distinguido de Computación inaugural, a partir del 1 de julio.
Solar-Lezama es la primera persona nombrada para este puesto generosamente dotado por el profesor Jae S. Lim del Departamento de Ingeniería Eléctrica y Ciencias de la Computación (EECS). Establecida en el MIT Schwarzman College of Computing, la cátedra se otorga a Solar-Lezama por ser un destacado miembro de la facultad reconocido como líder e innovador.
“Me complace hacer este nombramiento y reconocer a Armando por sus notables contribuciones al MIT y la comunidad científica”, dice Daniel Huttenlocher, decano del MIT Schwarzman College of Computing y profesor Henry Ellis Warren de Ingeniería Eléctrica y Ciencias de la Computación. “Aprecio mucho al profesor Lim por su atento gesto al crear esta nueva cátedra en la universidad, brindándonos la oportunidad de reconocer los logros de nuestra facultad”.
Solar-Lezama, profesora de ingeniería eléctrica e informática, lidera el Grupo de Programación Asistida por Computadora en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial (CSAIL) que se enfoca en la síntesis de programas, un área de investigación que se encuentra en la intersección de los sistemas de programación y inteligencia artificial. La investigación del grupo abarca desde el diseño de nuevas técnicas de análisis y mecanismos de razonamiento automatizado hasta el desarrollo de nuevos modelos de programación que automatizan aspectos desafiantes de la programación.
Miembro de la facultad de EECS desde 2008, Solar-Lezama, quien también se desempeña como director asociado y director de operaciones de CSAIL, está más interesado en la síntesis de software y sus aplicaciones a dominios de programas particulares, como la computación de alto rendimiento. Encontró esta área de nicho de síntesis de programas por primera vez cuando era estudiante de posgrado en la Universidad de California en Berkeley, para lo cual su proyecto de tesis, un lenguaje llamado Sketch, trata la síntesis de programas como un problema de búsqueda en el que los algoritmos reducen el espacio de búsqueda para hacer la búsqueda más rápida y eficiente. Desde entonces, la investigación de síntesis de programas se ha expandido enormemente al campo activo que es hoy.
