ProgramLive!
Calculational
logic
Banquet speeches
Current courses
CS Faculty over the years
CS@Cornell
 

 

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  cornell.edu

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

Cornell University
Ithaca, NY 14853

gries  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.