Yanhong Annie Liu’s new book Systematic Program Design: From Clarity to Efficiency is now available from Cambridge University Press. Professor Liu is a professor in the Stony Brook University’s Department of Computer Science.
Systematic program design helps developers ensure correctness and performance of programs while minimizing development costs. Liu’s book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions.
“When writing the book, I was sure to include examples and exercises that would appeal to novices as well as experts,” said Liu. “The detailed examples span a wide range of application areas, including hardware design, image processing, access control and query optimization.”
Liu received her BS from Peking University, her MEng from Tsinghua University and her PhD from Cornell University. Her primary research focuses on general and systematic methods for program development, algorithm design and problem solving. She is a published author in many prestigious journals and has been awarded more than 20 research grants. Liu has taught in a wide range of computer science areas and presented close to 100 research talks and invited talks at international conferences, universities and research institutes. In 2010, she received the State University of New York Chancellor’s Award for Excellence in Scholarship and Creative Activities.
The Department of Computer Science is consistently ranked among the top 10 percent of research computer science departments in the nation. As technology significantly impacts every aspect of our lives and plays a key role in every research discipline, the Department of Computer Science is poised for nationwide, interdisciplinary collaboration.