David Gries

David Gries (born 26 April 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States primarily known for his books, The Science of Programming (1981) and A Logical Approach to Discrete Math (1993, with F. B. Schneider).

He is currently Associate Dean for Undergraduate Programs in the College of Engineering. His research interests include programming methodology and related areas such as programming languages, programming language semantics, and logic. He has devoted much of his academic life to teaching these topics to undergraduate students. His son, Paul Gries, has been a co-author of an introductory textbook to computer programming using Python and is a senior lecturer in the Department of Computer Science at the University of Toronto.

Gries graduated from Queens College in 1960. He spent the following two years working as a programmer-mathematician for the U.S. Naval Weapons Laboratory, where he met his wife, Elaine.

Gries earned his Master's degree in mathematics from the University of Illinois at Urbana-Champaign in 1963. While at Illinois, Gries worked with Manfred Paul and Ruediger Wiehle to write a full ALGOL compiler for the IBM 7090 computer. He earned his Dr. Rer. Nat. in 1966 from the Munich University of Technology, studying under Friedrich L. Bauer and Joseph Stoer.

...
Wikipedia