Gris, David

David Gries ( David Gries , född 26 april 1939 , New York ) är en amerikansk datavetare och professor vid Cornell University , mest känd som författaren till The Science of Programming ( 1981 ) och The Logical Approach to Discrete Mathematics ( 1993 ). , i samförfattarskap med Fred Schneider ) och medförfattare till verket "Automated Proof Reception for Parallel Programming I".

Biografi

Född 1939 i Flushing  , New Yorks äldsta stadsdel Queens .

Han tog sin kandidatexamen från Queens College (City University of New York) 1960 och arbetade som datorprogrammerare vid US Navy Weapons Laboratory under de kommande två åren. Där träffade han sin blivande fru, Elaine.

Han avslutade sin magisterexamen 1963 vid University of Illinois i Urbana-Champaign , och skrev en komplett Algol-kompilator för IBM 7090 -datorn med Manfred Pohl och Rüdiger Wiele . 1966 doktorerade han i naturvetenskap vid Münchens tekniska universitet där han studerade under Friedrich Bauer och Josef Stöhr .

Under perioden 1966-1969 arbetade han som biträdande professor vid Stanford , och efter det - vid Cornell University, där han tillbringade 30 år och 1982-1987 ledde avdelningen för datavetenskap. 1992 publicerade han Misra och Gris Edge Coloring Algorithm . Han undervisade vid University of Georgia i Aten 1999-2002 och återvände till Cornell i januari 2003.

Författare, medförfattare och redaktör för sju läroböcker och 75 vetenskapliga artiklar. Från och med 2012 bor han i Ithaca , New York.

Utmärkelser

Gries är den enda vinnaren av fyra stora utmärkelser inom området informationsutbildning:

• Educational Award från American Information Processing Federation ( 1986 );
• Distinguished Contribution to Computer Science Education Section Computer Science Section of the Association for Computing Machinery ( 1991 );
• Taylor Booths utbildningspris från Computer Society of Institute of Electrical and Electronics Engineering ( 1994 );
• 1995 Association for Computing Machinery Distinguished Educator Award .

Hedersdoktor i juridik från Daniel Webster College ( Nashua , New Hampshire , 1966) och hedersdoktor i vetenskap från Miami University (Oxford, Ohio , 1999).

Sedan 1994 har han varit fullvärdig medlem i Association for Computing Machinery för medförfattare till verket "Acceptance of Automatic Proof for Parallel Programming I".

Böcker

• Kompilatorkonstruktion för digitala datorer. John Wiley and Sons, New York, 1971, 491 sidor. (Översatt till spanska , japanska , kinesiska , italienska och ryska . Ryska utgåvan: Gris, David. Designa kompilatorer för digitala datorer  : Översatt från engelska / David Gris; Översatt av E. B. Dokshitskaya. - M .: Mir , 1975. - 544 s. : ill. - Bibliografi: s. 522-532. - Alph. uk.: s. 533-534. - Ämne uk.: s. 535-539. - (i översättning) : B. c. UDC 681.3.068, 681,3 RUB).
• En primer om strukturerad programmering, med PL/I, PL/C och PL/C7. 1976, 397 sidor. (med R. Conway).
• Grundläggande om strukturerad programmering med Pascal. 1976, 433 sidor. (med R. Conway och E. C. Zimmerman).
• En introduktion till strukturerad programmering med SP/K. 1977. (med R. Conway och D. Wortman).
• En introduktion till programmering -- ett strukturerat tillvägagångssätt. Winthrop, Cambridge, upplaga 3, 1978, 509 sidor. (med R. Conway).
• Introduktion till mikroprocessorprogrammering med PL/Z. 1979, 593 sidor. (med R. Conway, M. Fay och C. Bass).
• Programmeringsmetod: en samling artiklar av medlemmar av IFIP WG2.3. redaktör. Springer Verlag, New York, 1979, 437 sidor.
• Vetenskapen om programmering. Springer Verlag, New York, 1981, 350 sidor. (Översatt till ryska och japanska . Ryska upplagan: Gris, David. Programmeringsvetenskap  : Översatt från engelska / D. Gris; översatt av N. N. Nepeyvod , red. översatt av A. P. Ershov . - M .: Mir, 1984. - 416 s. : ill. - Bibliografi: s. 413-414. - B. c., UDC 681.3.06, RUB 681.3).
• Skönhet är vår sak. redaktör. Springer Verlag, New York, 1990, 453 sidor. (med WHJ Feijen, AJM van Gasteren och J. Misra).
• Instruktörsmanual för "A Logical Approach to Discrete Math". D. Gries och FB Schneider, Ithaca, 1993. 311 sidor (med FB Schneider).
• En logisk metod för diskret matematik. Springer Verlag, NY, 1993, 500 sidor (med FB Schneider).
• Programmeringskoncept och metoder, PROCOMET '98 (red.). Chapman och Hall, London, 1998. (med W.-P. De Roever).
• Multimedia Introduktion till programmering med Java. Springer Verlag, NY, 2004, 536 sidor (med P. Gries).
• Programmet Live Companion. John Wiley & Sons, NY, 2001. 350 sidor. (med P. Gries och P. Hall).
• program live. DataDescription. Ithaca, NY, 2000. (med P. Gries).

Länkar

• Professor David Gries
• Cornell University Science News: Datorföreningen utnämner Cornell's Gries till en enastående pedagog

Tematiska platser	Google Scholar Matematisk släktforskning
I bibliografiska kataloger CONOR : 97050467 GND : 1100087184 ISNI : 0000 0001 0993 4772 J9U : 987007431019705171 LCCN : n50031630 NKC : jn20000602472 NTA : 068220898 NUKAT : n96400928 SUDOC : 122032586 , 05811436X VIAF : 84025979 WorldCat VIAF : 84025979