Яньхун Энни Лю

Яньхун Энни Лю (родилась 20 мая 1965 г.) ^[3] — учёный-компьютерщик и профессор компьютерных наук в Университете Стоуни-Брук , где она работает над новыми языками программирования , программными системами, алгоритмами , проектированием программ, оптимизацией, анализом и преобразованиями, интеллектуальными системами, распределёнными вычислительными системами и компьютерной безопасностью . ^[4]

Лю изучала информатику в Пекинском университете, получив степень бакалавра наук (B.Sc.). Она перешла в Университет Цинхуа для обучения в аспирантуре, получив степень магистра инженерии (M.Eng.) в области информатики в 1988 году. Лю была аспиранткой Корнеллского университета , где получила степень доктора философии (Ph.D.) в 1996 году. ^{[2] [4]}

Будучи постдокторантом , Лю работала над языковой обработкой в ​​Корнеллском университете . Лю присоединилась к Индианскому университету в 1996 году в качестве доцента . Она перешла в Университет Стоуни-Брук в 2000 году, где в 2008 году стала профессором. В 2010 году Лю была награждена премией канцлера Государственного университета Нью-Йорка за выдающиеся достижения. ^[4]

Лю руководит Лабораторией исследований дизайна и анализа в Университете Стоуни-Брук . ^[4] Она работает над языками программирования , алгоритмами и распределенными системами . ^{[1] [5]}

Она является членом рабочей группы IFIP 2.1 по алгоритмическим языкам и исчислениям Международной федерации по обработке информации (IFIP) , ^[6] которая разработала , поддерживает и сопровождает языки ALGOL 60 и ALGOL 68. [ ^7]

Ее публикации ^{[1] [8]} включают:

• Лю, Яньхун Энни (2013). Системный дизайн программы: от ясности к эффективности . Кембридж, Англия: Cambridge University Press. ISBN 978-1107036604.
• Кифер, Майкл; Лю, Яньхун Энни (2018). Декларативное логическое программирование: теория, системы и приложения . Сан-Рафаэль, Калифорния, США: Morgan & Claypool. ISBN 978-1-970001-99-0.