1998 - 1999 CS Annual Report                                                                  Faculty
choices.gif (4488 bytes)


David Gries

William L. Lewis Professor Engineering
Cornell Weiss Presidential Fellow
gries@cs.cornell.edu
http://www.cs.cornell.edu/home/gries/gries.html

Dr. rer. nat., Munich Inst. of Tech., 1966

My research is aimed at gaining a better understanding of the programming process, with respect to both sequential and concurrent (or parallel) programs. The work requires investigation of theories of program correctness and their
application, as well as investigation of other concepts in the semantics of programming languages. 

Education is a second area of strong interest for me, particularly the first few courses in computer science. Our thesis is that logic is the glue that binds together reasoning,  in all domains. Along with colleague F.B. Schneider, I have  been researching on and writing about logic as a "tool", instead of just another object of study. We are working on a new version of our 1993 text "A Logical Approach to Discrete Math", which will focus only on logic. 

I am also heavily involved in writing an introductory programming text, based on Java. The unique feature of this text is that it will be on a CD, not on paper, and will feature dialogs and animation. 

Awards 

  • Doctor of Science (Honorary). Miami Univ., Oxford, OH, Apr. 1999
  • Faculty of the Year, Association for Computer Science Undergraduates, Computer Science, Cornell Univ., May 1999 
University Activities 
  • Director: Undergraduate Programs, Computer Science 
  • General Committee of the Graduate School  Core Curriculum Governing Board, College of Engineering  
  • Chair: Ad hoc Tenure Review Committee 
Professional Activities 
  • Managing Editor: Information Processing Letters 
  • Main Editor: Acta Informatica  and Monographs in Computer Science 
  • Co-chair: Program Committee for PROCOMET '98. 
  • IFIP Working Group 2.3 (Programming Methodology) 
Lectures 
  • Teaching calculational logic. Invited lecture. PROCOMET 98, Shelter Island, NY, 12 June 1998. 
  • Logic as a tool. 10 lectures at WOFRACS 98, Workshop on Formal and Applied Computer
    Science, Univ. of Cape Town, South Africa, July 1998. Winter School on Programming Methodology. 
  • Introduction to Java. 10 hours of lecture on Java, Math Department, Sathya Sai Baba Institute of Higher Learning. July, 1998.  
  • Using logic as a tool. Honorary Doctorate lecture, Miami Univ., Oxford, OH, Apr. 1999.