[ad_1]
La Facultad de Computación Stephen A. Schwarzman del MIT nombró a Armando Solar-Lezama su primer Profesor Distinguido de Computación, a partir del 1 de julio.
Solar-Lezama es la primera persona designada para este puesto, que fue generosamente donado por el profesor Jae S. Lim del Departamento de Ingeniería Eléctrica e Informática (EECS). Establecida en el MIT Schwarzman College of Computing, la cátedra se otorga a Solar-Lezama como un destacado miembro del cuerpo docente reconocido como líder e innovador.
«Estoy satisfecho con este nombramiento y reconozco a Armando por sus notables contribuciones al MIT y a la comunidad científica», dijo Daniel Huttenlocher, decano de la Facultad de Computación Schwarzman del MIT y profesor Henry Ellis Warren de Ingeniería Eléctrica e Informática. «Estoy muy agradecido al profesor Lim por su atento gesto al crear esta nueva cátedra en la universidad, que nos brinda la oportunidad de reconocer los logros de nuestro cuerpo docente».
Solar-Lezama, catedrático de Ingeniería Eléctrica e Informática, dirige el Grupo de Programación Asistida por Computador del Laboratorio de Informática e Inteligencia Artificial (CSAIL), que se centra 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 los sistemas artificiales. inteligencia. La investigación del grupo abarca desde el diseño de nuevas técnicas de análisis y mecanismos de razonamiento automatizados hasta el desarrollo de nuevos modelos de programación que automaticen aspectos sofisticados de la programación.
Solar-Lezama ha sido miembro del cuerpo docente de EECS desde 2008 y también es director asociado y director de operaciones de CSAIL. Su principal interés es la síntesis de software y su aplicación en áreas de programas específicos como la informática de alto rendimiento. Descubrió por primera vez esta área de nicho de la síntesis de programas como estudiante de posgrado en la Universidad de California, Berkeley, donde en 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 hasta alcanzar el campo activo que es hoy.
[ad_2]