Welcome to the Website of David Gries

Teaching OO using Java
festive occasions
ABC book
CS Faculty over the years
The Triple-I Administration
How Bush Operated



David Gries
Computer Science Department
460 Gates Hall
Cornell University
Ithaca, NY 14853

gries  at  cs.cornell.edu

My interests are in programming methodology, in particular the formal development of programs, and in related areas such as programming languages, programming language semantics, and logic. I am as interested in the teaching of these topics as I am in further research in them. In fact, understanding how logic and formalism can be taught as a useful tool at the freshman/sophomore college level has been an overriding concern of mine in the past twenty years.