Yanhong Annie Liu is a professor of Computer Science at Stony Brook University. She received her B.S. from Peking University, M.Eng. from Tsinghua University, and Ph.D. from Cornell University, all in Computer Science. Her primary research is in languages and algorithms, especially on systematic design and optimization, centered around incrementalization—the discrete counterpart of differentiation in calculus. Her current research focus is on languages and efficient implementations for secure distributed programming and for declarative system specifications. She has published in many prestigious venues, taught in a wide range of computer science areas, and presented over 100 conferences and invited talks worldwide. 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. Her awards include a State University of New York Chancellor’s Award for Excellence in Scholarship and Creative Activities.
5 Ebook di Yanhong Annie Liu
Michael Kifer & Yanhong Annie Liu: Declarative Logic Programming
The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren’s fundamental contributions to Computer Science and the area of Logic Pro …
PDF
Inglese
DRM
€62.99
Michael Kifer & Yanhong Annie Liu: Declarative Logic Programming
The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren’s fundamental contributions to Computer Science and the area of Logic Pro …
EPUB
Inglese
DRM
€57.99
Ekaterina Komendantskaya & Yanhong Annie Liu: Practical Aspects of Declarative Languages
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and …
EPUB
Inglese
DRM
€57.90