David Gries
Professor
Computer Science Department
5158 Upson Hall
Cornell University
Ithaca, NY 14853

607/255-2998
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.