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.

Come to the voices concert Saturday night: Satler Auditorium, 7:30. Tickets just $3.00 for students and senior citizens! Hear songs about peace, love. Hear a Serbian folksong, a Jewish folksong, some African songs, and even a rockin' Gospel hymn. The local Group Vitamin L is performing with us!