DAVID GRIES - Cornell University

19. Scientific Director, Institute for Encapsulation, Modularization and Reuseability, Year of Programming,
University of Texas at Austin, 1987.
20. Member, Adhoc AP committee to recommend the next programming language, 1999-2001.
21. ACM Task Force on Computer Science Core Curriculum, 1987-89.
22. ACM Strategic Planning Committee, 1988-90.
23. Chair, ACM Award Committee, Best Paper in Programming Languages and Systems 1972-75.
24. National ACM Lecturer, 1970-71.
25. Member, IFIP Working Group 2.3, 1974-.
26. Reviewer for the PROCOS research project, the ESPRIT program, 1990.
27. Review Committee, several computer science departments.
PATENTS
1. United States Patent 5,572,626, 5 November 1996. Method for generating audio renderings of
digitized works having highly technical content (with T.V. Raman).
PUBLICATIONS
Books
1. The ABC Book of Computer Science at Cornell. Computer Science, Cornell University, Ithaca, NY,
2005.
2. Leadership in Research and Education: 40 years (Editor). Computer Science, Cornell University,
Ithaca, NY, 2005.
3. Multimedia Introduction to Programming Using Java, Springer Verlag, NY. 2004, 536 pages (with
P. Gries).
4. The ProgramLive Companion. John Wiley & Sons, NY, 2001. (with P. Gries and P. Petra).
5. ProgramLive. Data Description, Ithaca, NY, 2003 (revised). [This intro to programming using Java
is a livetext: a CD with over 250 recorded lectures with synched animation.]
6. Programming Concepts and Methods, PROCOMET ’98 (ed.). Chapman and Hall, London, 1998.
(with W.-P. De Roever).
7. A Logical Approach to Discrete Math. Springer Verlag, NY, 1993, 500 pages (with F.B. Schneider).
8. Instructor’s Manual for “A Logical Approach to Discrete Math”. D. Gries and F.B. Schneider,
Ithaca, 1993. 311 pages (with F.B. Schneider).
9. Beauty is our Business. Editor. Springer Verlag, New York, 1990, 453 pages. (with W.H.J. Feijen,
A.J.M. van Gasteren, and J. Misra).
10. The Science of Programming. Springer Verlag, New York, 1981, 350 pages. (Translated into Russian
and Japanese.)
11. Programming Methodology: a Collection of Articles by Members of IFIP WG2.3. Editor. Springer
Verlag, New York, 1979, 437 pages.
12. An Introduction to Programming —a structured approach. Winthrop, Cambridge, Edition 3, 1978,
509 pages. (with R. Conway).
13. The following books are extensive revisions to suit different needs:
1. A Primer on Structured Programming, Using PL/I, PL/C and PL/C7. 1976, 397 pages. (with
R. Conway).
2. Primer on Structured Programming using Pascal. 1976, 433 pages. (with R. Conway and E.C.
Zimmerman).
3. An Introduction to Structured Programming using SP/K. 1977. (with R. Conway and D.
3