David Gries
William L. Lewis Professor of Engineering
Cornell Weiss Presidential Fellow
http://www.cs.cornell.edu/home/gries/gries.html
Dr. rer. nat., Munich Institute of Technology, 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. A procedural programming language, Polya, is being defined and implemented. We are attempting to make the language in which algorithms are usually presented the programming language, but without loss of efficiency. This has entailed work in the theory of polymorphic types and type inference as well as the development of new constructs for defining types and for describing the implementation of variables. The hope is that this work will advance the state of the art of reusability of program parts and will raise the level at which programs are written.

Education, in particular the material taught in the first few courses in computer science, is of particular interest. A text for a discrete mathematics course, co-authored with F.B. Schneider, has been published. It emphasizes the pervasive use of an equational logic and formal calculation in discrete math-ematics. Research continues on equational logic and its applications.


Awards

University Activities

Professional Activities

Lectures

Publications


Return to:
1995-1996 Annual Report Home Page
Departmental Home Page

If you have questions or comments please contact: www@cs.cornell.edu.


Last modified: 2 November 1996 by Denise Moore (denise@cs.cornell.edu).