Армандо Солар-Лезама стал первым заслуженным профессором компьютерного колледжа | Новости Массачусетского технологического института | GPTMain News

Вычислительный колледж Стивена А. Шварцмана Массачусетского технологического института назвал Армандо Солар-Лезаму первым заслуженным профессором вычислительной техники с 1 июля.

Солар-Лезама — первый человек, назначенный на эту должность благодаря щедрому пожертвованию профессора Джэ С. Лим с факультета электротехники и компьютерных наук (EECS). Эта кафедра, основанная в Колледже вычислительной техники им. Шварцмана Массачусетского технологического института, присуждается компании Solar-Lezama как выдающемуся преподавателю, признанному лидером и новатором.

«Я рад назначить это назначение и поблагодарить Армандо за его выдающийся вклад в Массачусетский технологический институт и научное сообщество», — говорит Дэниел Хаттенлохер, декан Колледжа вычислительной техники имени Шварцмана в Массачусетском технологическом институте и профессор электротехники и информатики имени Генри Эллиса Уоррена. «Я очень признателен профессору Лиму за его продуманный жест по созданию этой новой кафедры в колледже, что дало нам возможность признать достижения нашего факультета».

Солар-Лезама, профессор электротехники и компьютерных наук, возглавляет группу автоматизированного программирования в Лаборатории компьютерных наук и искусственного интеллекта (CSAIL), которая занимается синтезом программ — областью исследований, лежащей на стыке систем программирования и искусственный интеллект. Исследования группы варьируются от разработки новых методов анализа и автоматизированных механизмов рассуждений до разработки новых моделей программирования, которые автоматизируют сложные аспекты программирования.

Член факультета EECS с 2008 года, Солар-Лезама, который также является заместителем директора и главным операционным директором CSAIL, больше всего интересуется синтезом программного обеспечения и его приложениями в конкретных программных областях, таких как высокопроизводительные вычисления. Впервые он нашел эту нишу синтеза программ, будучи аспирантом Калифорнийского университета в Беркли, для которого его дипломный проект, язык под названием Sketch, рассматривает синтез программ как задачу поиска, в которой алгоритмы урезают пространство поиска, чтобы сделать поиск быстрее и эффективнее. С тех пор исследования синтеза программ значительно расширились до той области, в которой они существуют сегодня.

Последние статьи

Related articles

ОСТАВЬТЕ ОТВЕТ

Пожалуйста, введите ваш комментарий!
пожалуйста, введите ваше имя здесь

hentai lou nicehentai.com ahegeo hentai pron v bigztube.mobi kannada school girl sex videos sxsi com pornoko.net indian porn xnxx.com سكس.جماعي pornigh.com سكس لوسي bangali sex in kompoz2.com ganapa kannada movie songs
سكس مع المعلمة matureporni.com سكس كس مفتوح desi clip.com foxporns.info girls sexy pictures хентай манга hentaitale.net hentai zombie girl little sister doujin justhentaiporn.com kasumi tendo hentai افلام جيانا مايكلز gratisfucktube.com foto sex
desi gay porn vedio momyporn.mobi nepali x video مدام شرموطه freetube18x.com ايناس الدغيدي سكس tony tony chopper hentai hentaimangaz.com naruto new hentai manga الكس والزبر pornarabic.net احلى بزاز ميلفاية arabgrid.net فلم\سكس