David Gries

David Gries in 2022 David Gries (born April 26, 1939) is an American computer scientist at Cornell University, mainly known for his books ''The Science of Programming'' (1981) and ''A Logical Approach to Discrete Math'' (1993, with Fred B. Schneider).

He was associate dean for undergraduate programs at the Cornell University College of Engineering from 2003–2011. His research interests include programming methodology and related areas such as programming languages, related semantics, and logic. His son, Paul Gries, has been a co-author of an introductory textbook to computer programming using the language Python and is a teaching stream professor in the Department of Computer Science at the University of Toronto. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Gries, David, 1939-', query time: 0.01s Refine Results
  1. 1

    The science of programming / by Gries, David 1939-

    Published 1981
    Book
  2. 2

    A logical approach to discrete math / by Gries, David, 1939-

    Published 1993
    Book
  3. 3

    Algebraic approaches to program semantics / by Manes, Ernest G., 1943-

    Published 1986
    Other Authors:
    Book