Вычислительный колледж Стивена А. Шварцмана Массачусетского технологического института назвал Армандо Солар-Лезаму первым заслуженным профессором вычислительной техники с 1 июля.
Солар-Лезама — первый человек, назначенный на эту должность благодаря щедрому пожертвованию профессора Джэ С. Лим с факультета электротехники и компьютерных наук (EECS). Эта кафедра, основанная в Колледже вычислительной техники им. Шварцмана Массачусетского технологического института, присуждается компании Solar-Lezama как выдающемуся преподавателю, признанному лидером и новатором.
«Я рад назначить это назначение и поблагодарить Армандо за его выдающийся вклад в Массачусетский технологический институт и научное сообщество», — говорит Дэниел Хаттенлохер, декан Колледжа вычислительной техники имени Шварцмана в Массачусетском технологическом институте и профессор электротехники и информатики имени Генри Эллиса Уоррена. «Я очень признателен профессору Лиму за его продуманный жест по созданию этой новой кафедры в колледже, что дало нам возможность признать достижения нашего факультета».
Солар-Лезама, профессор электротехники и компьютерных наук, возглавляет группу автоматизированного программирования в Лаборатории компьютерных наук и искусственного интеллекта (CSAIL), которая занимается синтезом программ — областью исследований, лежащей на стыке систем программирования и искусственный интеллект. Исследования группы варьируются от разработки новых методов анализа и автоматизированных механизмов рассуждений до разработки новых моделей программирования, которые автоматизируют сложные аспекты программирования.
Член факультета EECS с 2008 года, Солар-Лезама, который также является заместителем директора и главным операционным директором CSAIL, больше всего интересуется синтезом программного обеспечения и его приложениями в конкретных программных областях, таких как высокопроизводительные вычисления. Впервые он нашел эту нишу синтеза программ, будучи аспирантом Калифорнийского университета в Беркли, для которого его дипломный проект, язык под названием Sketch, рассматривает синтез программ как задачу поиска, в которой алгоритмы урезают пространство поиска, чтобы сделать поиск быстрее и эффективнее. С тех пор исследования синтеза программ значительно расширились до той области, в которой они существуют сегодня.