Banquet speeches
Current courses
CS Faculty over the years


Welcome to the web site of David Gries


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

Professor of Computer Science, Computer Science Department
4122 Upson Hall (607) 255-2962, gries  a@t

Cornell University
Ithaca, NY 14853

gries  a@t

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.