Yanhong Annie Liu

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.