DAVID GRIES - Cornell University

More documents

Recommendations

Info

1983-84 Sabbatic, Oxford University 1982-87 Chair, Computer Science Department, Cornell 1977-99 Professor, Computer Science, Cornell University 1975-76 Sabbatic, Technical University, Munich 1969-77 Associate Professor, Computer Science, Cornell University 1966-69 Assistant Professor, Computer Science, Stanford University 1963-66 Assistant, Munich Inst. of Technology 1960-62 Mathematician-programmer, U.S. Naval Weapons Lab. PH.D. STUDENTS ADVISED 1971 Susan L. Graham 1977 Kuo-Chung Tai 1987 Jennifer Widom 1972 Jean-Pierre Levy 1980 Gary M. Levin 1987 Jan Prins 1972 John S. Brown 1980 John Holm 1991 Geoffrey Smith 1973 Donald B. Johnson 1981 Robert Melville 1994 T.V. Raman 1975 Narain Gehani 1984 Peter Vanderbilt 1994 Sofoklis Efremidis 1975 Susan S. Owicki 1985 Dean Jacobs 1998 Thomas Yan 1977 Juan M. Lafuente 1985 Van Long Nguyen COMMUNITY PARTICIPATION AND LEADERSHIP (SELECTED) 1. Member, Computing Research Board, 1983-1990. 2. Chair, Computing Research Board, 1987-89. 3. Member, Steering Group, AAAS Section on Information, Computing, and Communication (T), 1999-2003. 4. Series Editor, Springer Verlag Texts and Monographs in Computer Science, 1973-. 5. Main Editor, Acta Informatica, 1982-. 6. Managing Editor, Information Processing Letters, 1988-2003. 7. Editor, Programming Languages section of CACM, 1969-72. 8. Editorial Board: Acta Informatica, 1970-; Information Processing Letters, 1973-; Springer Verlag Lecture Notes in Computer Science, 1973-00; Distributed Computing 1985-88; Software –Concepts and Tools, 1988-95; Formal Aspects of Computer Science, 1988-95. 9. Coeditor, Special issue of IPL, April 2001. (with V. Almstrum). 10. Advisory Board, Conf. on Foundations of Software Technology and Theoretical CS (India), 1981-90. 11. Chair, Program Committee, 2nd IEEE Symp. Logics in Computer Science, 1987. 12. Co-chair, Program Committee, IFIP Working Conference on Programming Concepts and Methods (PROCOMET ’98). 13. Member of Program Committees (selected): 5th Int. Symp. Programming. 1981; 6th Int. Symp. Programming. 1982; POPL 1978; POPL 79; 6th Int. Conf. Software Engineering, 1982; IFIP Working Conference on Programming Concepts and Methods, 1990; SCCC 97; Mathematics of program construction 98. 14. National Research Council to Survey International Developments in Computer Science. 1980-82. 15. Computer Science Screening Committee, Council for International Exchange of Scholars, 1984-86. 16. Chair, Panel on research directions in Software. NSF Advisory Committee Meeting, Dec. 1988. 17. Member, Committee to Assess the Scope and Direction of Computer Science and Technology (Computer Science and Telecommunications Board of the National Research Council), 1990-92. 18. Member, Selection committee for NAS Graduate fellowships, 1971-72. 2
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
Page 1: DAVID GRIES January 2007 Associate
Page 5 and 6: 7. Eliminating the chaff —again.
Page 7 and 8: 59. Computing a Fibonacci number in
Page 9 and 10: March 1994. Accepted for publicatio

DAVID GRIES - Cornell University

Create successful ePaper yourself

Delete template?

Save as template?