Яньхун Энни Лю
Яньхун Энни Лю | |
|---|---|
| Рожденный | 20 мая 1965 г. [3] |
| Альма-матер | Корнелльский университет Университет Цинхуа Пекинский университет |
| Научная карьера | |
| Поля | Языки и алгоритмы Проектирование и оптимизация [1] |
| Учреждения | Корнелльский университет Университет Стоуни-Брук |
| Диссертация | Дополнительные вычисления: систематический трансформационный подход, основанный на семантике (1995) |
| Докторантура | Тим Тейтельбаум [2] |
| Веб-сайт | www3 |
Яньхун Энни Лю (родилась 20 мая 1965 г.) [3] — ученый-компьютерщик и профессор информатики , в Университете Стоуни-Брук где она работает над новыми языками программирования , программными системами, алгоритмами , проектированием программ, оптимизацией, анализом и преобразованиями, интеллектуальными системами, распределенными вычислительными системами и компьютерной безопасностью . [4]
Ранняя жизнь и образование
[ редактировать ]Лю изучал информатику в Пекинском университете и получил степень бакалавра наук (B.Sc.). Она переехала в Университет Цинхуа для учебы в аспирантуре и в 1988 году получила степень магистра инженерных наук (M.Eng.) в области компьютерных наук. Лю была аспиранткой Корнелльского университета , где она получила степень доктора философии (Ph.D.) в 1996. [2] [4]
Исследования и карьера
[ редактировать ]Будучи постдокторантом , Лю работал над языковой обработкой в Корнеллском университете . Лю поступил на работу в Университет Индианы в 1996 году в качестве доцента . В 2000 году она переехала в Университет Стоуни-Брук , где в 2008 году стала профессором. В 2010 году Лю была удостоена Премии канцлера штата Нью-Йорк за выдающиеся достижения. [4]
Лю возглавляет исследовательскую лабораторию дизайна и анализа в Университете Стоуни-Брук . [4] Она работает над языками программирования , алгоритмами и распределенными системами . [1] [5]
Она является членом Международной федерации обработки информации (IFIP) рабочей группы 2.1 по алгоритмическим языкам и исчислениям. [6] который определил , поддерживает и поддерживает языки АЛГОЛ 60 и АЛГОЛ 68 . [7]
Публикации
[ редактировать ]Ее публикации [1] [8] включать:
- Лю, Яньхун Энни (2013). Систематическая разработка программ: от ясности к эффективности . Кембридж, Англия: Издательство Кембриджского университета. ISBN 978-1107036604 .
- Кифер, Майкл; Лю, Яньхун Энни (2018). Декларативное логическое программирование: теория, системы и приложения . Сан-Рафаэль, Калифорния, США: Morgan & Claypool. ISBN 978-1-970001-99-0 .
Ссылки
[ редактировать ]- ^ Jump up to: а б с Публикации Яньхун Анни Лю, проиндексированные Google Scholar
- ^ Jump up to: а б Яньхун Энни Лю в проекте «Математическая генеалогия»
- ^ Jump up to: а б с См. раздел «Биографический очерк» (рядом со вступлением) в диссертации Ю. Энни Лю: «Инкрементальные вычисления: систематический трансформационный подход, основанный на семантике» (PDF) . Корнелл . Проверено 9 августа 2019 г.
- ^ Jump up to: а б с д «Ю. Энни Лю» . Кафедра компьютерных наук . Университет Стоуни-Брук . Проверено 5 августа 2019 г.
- ^ «Месяц женской истории Энни Лю» . Ютуб . Проверено 5 августа 2019 г.
- ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 4 июня 2021 г.
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 4 июня 2021 г.
- ^ Янхун Энни Лю на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |