Эмина Торлак
Эмина Торлак — американский ученый-компьютерщик и инженер-программист, чьи исследования касаются проверки программного обеспечения , синтеза программ и интеграции этих методов в предметно-ориентированные языки . Ранее она была профессором информатики в Вашингтонском университете , а в настоящее время является старшим научным сотрудником Amazon Web Services . [1]
Образование и карьера
[ редактировать ]Торлак получила образование в области компьютерных наук в Массачусетском технологическом институте , получила степень бакалавра в 2003 году, степень магистра в 2004 году и защитила докторскую диссертацию. в 2009 году. [1] Ее диссертацию «Решатель ограничений для разработки программного обеспечения: поиск моделей и ядер больших реляционных спецификаций » курировал Дэниел Джексон . [1] [2]
С 2008 по 2014 год она работала исследователем в IBM Research , LogicBlox и Калифорнийском университете в Беркли , а затем стала доцентом Вашингтонского университета в 2014 году. В 2018 году она получила звание доцента и присоединилась к Веб-сервисы Amazon в 2021 году. [1]
Признание
[ редактировать ]Торлак стала лауреатом премии Джуниора Даля-Нюгаарда в 2016 году «за работу по разработке инструментов и методологий, которые помогут упростить создание лучшего программного обеспечения». [3] [4] Она стала лауреатом премии ACM SIGPLAN Young Researcher Award Робина Милнера в 2021 году, признав ее «лидером в области автоматизированной проверки». [5] [6]
Ссылки
[ редактировать ]- ^ Jump up to: а б с д Биографические данные , получено 13 июня 2022 г.
- ^ Эмина Торлак в проекте «Математическая генеалогия»
- ^ «Награды» ECOOP 2016 , получено 13 июня 2022 г.
- ^ Лауреаты премии AITO Даля-Нигаарда за 2016 год , Международная ассоциация производителей объектов технологий , заархивировано из оригинала 26 марта 2016 г. , получено 13 июня 2022 г.
- ^ Коакли, Ребекка (30 июня 2021 г.), профессор Школы Аллена Эмина Торлак получает премию молодого исследователя Робина Милнера за свою новаторскую работу по автоматизации рассуждений для программистов , Школа компьютерных наук и инженерии Пола Г. Аллена , получено 13 июня 2022 г.
- ^ Премия Робина Милнера молодому исследователю , ACM SIGPLAN , получено 13 июня 2022 г.
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Эмины Торлак индексируются Google Scholar
- Чаудхури, Сварат (26 июня 2014 г.), «В центре внимания: Эмина Торлак» , энтузиаст языков программирования
