David Gries
Associate Dean for Undergraduate Programs, College of Engineering
167 Olin Hall, (607) 255-0393, engrugrad  ?a@t?  cornell.edu

Professor of Computer Science, Computer Science Department
4122 Upson Hall, dgries  ?a@t?  cs.cornell.edu

Cornell University
Ithaca, NY 14853

dgries  ?a@t?  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 fifteen years.