David Gries (nacido el 26 de abril de 1939 en Flushing, Queens , Nueva York ) es un informático estadounidense de la Universidad de Cornell , Estados Unidos, conocido principalmente por sus libros The Science of Programming (1981) y A Logical Approach to Discrete Math (1993, con Fred B. Schneider ).
David Gries | |
---|---|
Nació | |
Ciudadanía | Estados Unidos |
Educación | BS ; Queens College (1960) Maestría ; Universidad de Illinois en Urbana-Champaign (1963) Dr. rer. nat. ; Universidad Técnica de Munich (1966) |
Conocido por | La ciencia de la programación (libro) Un enfoque lógico para las matemáticas discretas (libro) |
Esposos) | Elaine |
Premios | Federación Americana del Premio de Educación de Procesamiento de Información Sociedades (1986) ACM SIGCSE Premio por una contribución sobresaliente a la Educación Ciencias de la Computación (1991) Instituto de Ingenieros Eléctricos Computer Society Premio de Educación stand L. Taylor (1994) ACM Karl V. Karlstrom Premio al Mejor Educador |
Carrera científica | |
Campos | Educación en ciencias de la computación |
Instituciones | Laboratorio de Armas Navales de EE. UU. Universidad de Stanford Universidad de Georgia Facultad de Ingeniería de la Universidad de Cornell |
Consejeros de doctorado | Friedrich L. Bauer Joseph Stoer |
Estudiantes de doctorado | 20 |
Otros estudiantes notables | TV Raman |
Sitio web | www |
Fue Decano Asociado de Programas de Pregrado en la Facultad de Ingeniería de la Universidad de Cornell de 2003 a 2011. Sus intereses de investigación incluyen metodología de programación y áreas relacionadas como lenguajes de programación , semántica relacionada y lógica . Su hijo, Paul Gries, ha sido coautor de un libro de texto de introducción a la programación informática utilizando el lenguaje Python y es profesor de Teaching Stream en el Departamento de Ciencias de la Computación de la Universidad de Toronto .
La vida
Gries obtuvo una licenciatura en Ciencias (BS) de Queens College en 1960. Pasó los dos años siguientes trabajando como programador-matemático para el Laboratorio de Armas Navales de los Estados Unidos , donde conoció a su esposa, Elaine.
Obtuvo una Maestría en Ciencias (MS) en matemáticas de la Universidad de Illinois en Urbana-Champaign en 1963. Mientras estaba en Illinois, Gries trabajó con Manfred Paul y Ruediger Wiehle para escribir un compilador completo para el lenguaje ALGOL para la computadora central IBM 7090 . Obtuvo su Dr. rer. nat. en 1966 de la Universidad Técnica de Munich , estudiando con Friedrich L. Bauer y Joseph Stoer.
Fue miembro del Grupo de Trabajo 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , [1] que especifica , mantiene y soporta los lenguajes ALGOL 60 y ALGOL 68 . [2]
Gries fue profesor asistente en la Universidad de Stanford de 1966 a 1969 y luego se convirtió en profesor asociado en la Universidad de Cornell en Ithaca, Nueva York . Pasó los siguientes 30 años allí, incluido el tiempo como presidente del departamento de informática de 1982 a 1987. Obtuvo una beca Guggenheim en 1984-1985. Pasó 1999-2002 en la Universidad de Georgia en Atenas y regresó a Cornell en enero de 2003.
Es autor, coautor o editor de siete libros de texto y 75 artículos de investigación. A partir de 2021[actualizar], vive en Ithaca, Nueva York .
Obras
- Gries, D. (1971). Construcción de compiladores para computadoras digitales (en inglés, español, japonés, chino, italiano y ruso). Nueva York: John Wiley and Sons. Bibcode : 1971ccdc.book ..... G .
- Gries, D .; Conway, R. (1976). Introducción a la programación estructurada, utilizando PL / I, PL / C y PL / C7 .
- Gries, D .; Conway, R .; Zimmerman, EC (1976). Introducción a la programación estructurada con Pascal .
- Gries, D .; Conway, R .; Wortman, D. (1977). Una introducción a la Programación estructurada usando SP / K .
- Gries, D .; Conway, R. (1978). Introducción a la programación: un enfoque estructurado, edición 3 . Cambridge: Winthrop.
- Gries, D .; Conway, R .; Fay, M .; Bass, C. (1979). Introducción a la programación con microprocesador PL / Z .
- Gries, D., ed. (1979). Metodología de programación: una colección de artículos de miembros del IFIP WG2.3 . Nueva York: Springer Verlag.
- Gries, D. (1981). La ciencia de la programación (en inglés, ruso y japonés). Nueva York: Springer Verlag.
- Gries, D .; Feijen, WHJ; van Gasteren, AJM; Misra, J., eds. (1990). La belleza es nuestro negocio . Nueva York: Springer Verlag.
- Gries, D .; Schneider, FB (1993). Manual del instructor para "Un enfoque lógico para las matemáticas discretas" . Ithaca, Nueva York.
- Gries, D .; Schneider, FB (1993). Un enfoque lógico para las matemáticas discretas . Nueva York: Springer Verlag.
- Gries, D .; De Roever, WP, eds. (1998). Conceptos y métodos de programación, PROCOMET '98 Chapman y Hall . Londres.
- Gries, D .; Gries, P. (2004). Introducción multimedia a la programación con Java . Nueva York: Springer Verlag.
- Gries, D .; Gries, P .; Hall, P. (2001). El compañero de ProgramLive . Nueva York: John Wiley & Sons.
- Gries, D .; Gries, P. (2000). ProgramLive . Ithaca, Nueva York: DataDescription.
Premios
Gries es el único destinatario de cuatro importantes premios para educadores en informática:
- Premio de Educación de la Federación Estadounidense de Sociedades de Procesamiento de Información (1986)
- La Association for Computing Machinery (ACM) SIGCSE Premio por una contribución sobresaliente a la Educación Ciencias de la Computación (1991)
- Premio de Educación Taylor L.Booth del Instituto de Ingenieros Eléctricos de la Sociedad de Informática (1994)
- Premio al Educador Destacado de ACM Karl V. Karlstrom (1995) [3]
Tiene dos doctorados honoris causa:
- Doctor honorario en derecho, Daniel Webster College , Nashua, New Hampshire (1996)
- Doctor honorario en Ciencias, Universidad de Miami , Oxford, Ohio (1999)
Es uno de los primeros diez profesores de Cornell que recibieron una beca presidencial de Cornell Weiss por sus contribuciones a la educación de pregrado .
En 1994, fue admitido como miembro de la Association for Computing Machinery por ser coautor de " Una técnica de prueba axiomática para programas paralelos I ". [4]
Referencias
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 10 de septiembre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 10 de septiembre de 2020 .
- ^ "Prof. David Gries: Premio al Educador Destacado ACM Karl V. Karlstrom" . Asociación de Maquinaria Informática . 1995 . Consultado el 31 de marzo de 2020 .
- ^ "Becarios ACM: Estados Unidos, 1994" . Asociación de Maquinaria Informática . 1994 . Consultado el 31 de marzo de 2020 .
enlaces externos
- Página web oficial
- Noticias de ciencia de la Universidad de Cornell: la asociación informática nombra a Gries de Cornell como un educador sobresaliente
- David Gries en el Proyecto de genealogía matemática
- Libros de David Gries (listados en Amazon)