CompsciPBL > Advisory Board > gries

David Gries

david flag

David Gries is Professor of Computer Science and Associate Dean of Engineering at Cornell University, where he has been since 1969 (except for sabbaticals and two years at the University of Georgia). He received his Dr. rer. nat. from the Technichse Hochschule Munchen, Germany, in 1966 and spent three years as an assistant professor at Stanford before joining Cornell. His research has been in compiler construction, formal programming methodology, and related areas. He is known for his contributions to education and has received several awards: the 1994 IEEE Taylor L. Booth Award, the ACM Karl Karlstrom Award in 1994, the ACM SIGCSE award in 1991, and the American Federation of Information Processing Societies' (AFIPS) education award in 1985. He was among the first ten faculty members at Cornell (out of over 1600 total faculty) to become a Cornell Weiss Fellow, for contributions to undergraduate education.

Gries has two honorary doctorates, from Oxford University, Miami, Ohio (April 1999) Daniel Webster College, Nashua, New Hampshire (May 1996). He chaired the Computing Research Association (CRA) during its formative years in the late 1980s, when it opened an office in Washington D.C. in order to better speak for the field, and he received the CRA Distinguished Service Award in 1991. His texts include the first text on compiler construction (1971), the first introductory programming text to take correctness concerns seriously (1973, with R. Conway), the first text to bring formal programming methodology to the undergraduate level (The Science of Programming, 1981), and the first discrete math text to actually teach the development of proofs (A Logic Approach to Discrete Math, 1993, with F.B. Schneider).";