Welcome to the Website of David Gries
  

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

 

 

David Gries
Professor
Computer Science Department
460 Gates 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.