معرفی
Annie Liu is a Professor of Computer Science at Stony Brook University. Her research spans programming languages, algorithms, and distributed systems, with a focus on formal methods and system assurance. She earned her Ph.D. and M.S. from Cornell University, M.Eng. from Tsinghua University, and B.S. from Peking University, all in Computer Science.
- Research highlights: Distributed algorithms, logic programming, program analysis, security, and domain-specific language design.
- Recent publications integrate logic rules with AI, blockchain consensus, and incremental computation.
- Awards include the SUNY Chancellor's Award for Excellence in Scholarship and a Best Student Paper Award.
- Teaches courses in programming, algorithms, and distributed systems (e.g., CSE 526, CSE 626).
- Leads the Design and Analysis Research Laboratory, focusing on optimizing compilers, real-time systems, and big data analysis.
۰مقاله منتشرشده
