刘燕妮（Y.Annie Liu）是石溪大学（Stony Brook University）计算机科学教授。她的主要研究方向是语言和算法，尤其是设计和优化的系统方法。这些方法以递增为中心，递增是微积分中微分的离散对应物。除了研究和服务，她还喜欢教学。她曾在广泛的计算机科学领域任教，并在世界各地举办了100多场会议和受邀演讲。她获得了北京大学的学士学位、清华大学的硕士学位和康奈尔大学的博士学位，所有这些都是计算机科学专业。
刘安妮（Annie Liu）的设计与分析研究实验室（Design and Analysis Research Laboratory）在建模与规范、分析与验证、设计与优化、代码生成和测试方面拥有多个项目。这些项目用于优化编译器、交互式环境、实时和嵌入式系统、数据库系统、语义Web、分布式系统、大数据分析、安全等。她的奖项包括纽约州立大学校长奖（State University of New York Chancellor’s Award for Excellence in Scholarship and Creative Activities）。
