David Gries

from Wikipedia, the free encyclopedia

David Gries (born April 26, 1939 in Flushing ) is an American computer scientist .

Live and act

Gries studied at Queens College in New York with a bachelor's degree in 1960, at the University of Illinois at Urbana-Champaign with a master's degree in 1963 and at the Technical University of Munich , where he was an assistant since 1963 and under Friedrich L. Bauer received a PhD in mathematics ( "On some classes of norms" ).

1960 to 1962 he was a programmer at the US Naval Weapons Laboratory. In 1966 he was assistant professor of computer science at Stanford University , 1969 associate professor at Cornell University , where he was professor in 1977 . From 1982 to 1987 he headed the computer science faculty there. From 1999 to 2003 he was a professor at the University of Georgia in Athens and then again at Cornell University. He is Associate Dean for Undergraduate Programs in the College of Engineering.

For his essay An Axiomatic Proof Technique for Parallel Programs with Susan Owicki he was made a Fellow of the ACM and for a related essay he received the ACM Programming Systems and Languages ​​Award in 1977 . The authors applied the Hoare calculus to parallel programs. He wrote an early textbook on compiler construction (1971), which was translated into several languages, and introductory textbooks on computer science in the context of structured programming , whereby the underlying programming languages ​​changed until his most recent books with Peter Gries , which used Java .

In 1975/76 he was on sabbatical at the Technical University of Munich, 1983/84 in Oxford, 1990/91 at the University of Texas at Austin and 1997 at Oregon State University.

He is a Fellow of the American Association for the Advancement of Science and the Association for Computing Machinery . In 1983/84 he was a Guggenheim Fellow. In 1994 he received the Society Taylor L. Booth Education Award from the IEEE. He is an honorary doctor from Miami University in Oxford, Ohio and from Daniel Webster College. In 1995 he received the ACM Karl V. Karlstrom Outstanding Educator Award.

His PhD students include Susan L. Graham (Professor at Berkeley ) and Susan Owicki (1975, Professor at Stanford ).

His son Paul Gries, with whom he also published books, is a professor of computer science at the University of Toronto .

Fonts

  • Compiler Construction for Digital Computers , John Wiley and Sons, New York, 1971
  • with Richard Conway: A Primer on Structured Programming, Using PL / I, PL / C and PL / C7. 1976
  • with R. Conway, EC Zimmerman: Primer on Structured Programming using Pascal. 1976,.
  • with R. Conway, D. Wortman: An Introduction to Structured Programming using SP / K. 1977.
  • with R. Conway: An Introduction to Programming - a structured approach. Winthrop, Cambridge, 3rd edition, 1978
  • with R. Conway, M. Fay, C. Bass: Introduction to Microprocessor Programming using PL / Z. 1979
  • as editor: Programming Methodology: a Collection of Articles by Members of IFIP WG2.3. Springer Verlag, New York, 1979,
  • The Science of Programming. Springer Verlag, New York, 1981
  • with WHJ Feijen, AJM van Gasteren, J. Misra (eds.): Beauty is our Business. Springer Verlag, New York, 1990
  • with Fred B. Schneider: Instructor's Manual for "A Logical Approach to Discrete Math". Ithaca, 1993.
  • with FB Schneider: A Logical Approach to Discrete Math. Springer Verlag, NY, 1993
  • with W.-P. De Roever (Ed.): Programming Concepts and Methods, PROCOMET '98 (ed.). Chapman and Hall, London, 1998.
  • with P. Gries: Multimedia Introduction to Programming Using Java. Springer Verlag, NY, 2004
  • with P. Gries, Petra Hall: The ProgramLive Companion. John Wiley & Sons, NY, 2001.
  • with P. Gries, Petra Hall: ProgramLive. DataDescription. Ithaca, NY, 2000
  • The ABC Book of Computer Science at Cornell , Ithaca 2005
  • On structured programming , Communications of the ACM, Volume 17, 1974, pp. 655-657 (reprinted in Gries (Ed.), Programming Methodology, 1979)

Web links

Individual evidence

  1. ↑ Life data according to American Men and Women of Science , Thomson Gale 2004
  2. ↑ David Gries in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
  3. ^ Acta Informatica, Volume 6, 1976, pp. 319-340, reprinted in Gries (ed.), Programming methodology, 1979
  4. ↑ Gries, Owicki, Verifying properties of parallel programs: an axiomatic approach , Communications of the ACM, May 1976
  5. ^ Karlstrom Award
personal data
SURNAME Gries, David
BRIEF DESCRIPTION American computer scientist
DATE OF BIRTH April 26, 1939
PLACE OF BIRTH Flushing