Computer Science Professor's Systematic Program Design Book Now Available


Stony Brook, NY – June 14, 2013

Stony Brook University Professor Yanhong Annie Liu’s new book Systematic Program Design: From Clarity to Efficiency is now available.

Systematic program design helps developers ensure correctness and performance of programs while minimizing development costs. Dr. Liu’s book, which is published by Cambridge University Press, 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. The detailed examples span a wide range of application areas, including hardware design, image processing, access control, and query optimization”, said Dr. Liu.

Y. Annie Liu is a Professor of Computer Science at Stony Brook University. She received her BS from Peking University, MEng from Tsinghua University, and 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 conferences and has been awarded more than 20 research grants. She 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.

Established in 1969, the Department of Computer Science at Stony Brook University is consistently ranked among the top 10 percent of research computer science departments in the nation and is the largest unit in the College of Engineering and Applied Sciences. 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.

The book can be purchased from Cambridge University Press at