Yanhong Annie Liu

Yanhong Annie Liu

Professor, Stony Brook University

Y. Annie Liu is Professor of Computer Science at Stony Brook University. Her primary research is in languages and algorithms, and focuses especially on systematic methods for design and optimization. The methods are centered around incrementalization---the discrete counterpart of differentiation in calculus. She has strong other interests in interactive environments, real-time and embedded systems, database, knowledge representation and reasoning, distributed systems, and security.

She received her BS from Peking University, MEng from Tsinghua University, and PhD from Cornell University, all in Computer Science. Her research in the past 10 years focuses on languages and efficient implementations for distributed algorithms and declarative system specifications. She serves on the ACM Books Editorial Board as the Area Editor for Programming Languages, and she is a member of IFIP WG 2.1 on Algorithmic Languages and Calculi.

Program Visits

Logic and Algorithms in Database Theory and AI, Fall 2023, Visiting Scientist
languages, algorithms, program design, optimization, database, knowledge base, distributed systems