Gris, Davide
| David Gries | |
|---|---|
| David Gries | |
| Datum narození | 26. dubna 1939 (83 let) |
| Místo narození | New York |
| Země | USA |
| Vědecká sféra | Informatika |
| Místo výkonu práce | Cornell University |
| Alma mater |
Queens College University of Illinois na Technické univerzitě Urbana-Champaign v Mnichově |
| vědecký poradce | Friedrich Bauer |
| Známý jako |
Pedagog a metodik v oblasti verifikace programů, specialista na evidence-based paralelní výpočty |
| Ocenění a ceny |
1986 American Information Processing Federation Education Award _ _ Taylor Booth z Computer Society Institutu elektrotechniky a elektroniky ( 1994 ) Cena za vzdělání od Asociace pro výpočetní techniku ( 1995 ) |
| webová stránka | cs.cornell.edu/gries/ |
David Gries ( David Gries , narozen 26. dubna 1939 , New York ) je americký počítačový vědec a profesor na Cornell University , nejlépe známý jako autor knih The Science of Programming ( 1981 ) a The Logical Approach to Discrete Mathematics ( 1993 ). , ve spoluautorství s Fredem Schneiderem ) a spoluautorem práce "Automated Proof Reception for Parallel Programming I".
Životopis
Narodil se v roce 1939 ve Flushingu , nejstarší newyorské čtvrti Queens .
Bakalářský titul získal na Queens College (City University of New York) v roce 1960 a další dva roky pracoval jako počítačový programátor v US Navy Weapons Laboratory. Tam potkal svou budoucí manželku Elaine.
Magisterský titul dokončil v roce 1963 na University of Illinois v Urbana-Champaign , kde s Manfredem Pohlem a Rüdigerem Wieleem napsal kompletní kompilátor Algol pro počítač IBM 7090 . V roce 1966 získal doktorát z přírodních věd na Technické univerzitě v Mnichově , kde studoval u Friedricha Bauera a Josefa Stöhra .
V období 1966-1969 působil jako odborný asistent na Stanfordu a poté na Cornellově univerzitě, kde strávil 30 let a v letech 1982-1987 vedl katedru informatiky. V roce 1992 vydal Misra a Gris Edge Coloring Algorithm . V letech 1999-2002 vyučoval na University of Georgia v Aténách , do Cornellu se vrátil v lednu 2003.
Autor, spoluautor a editor sedmi učebnic a 75 vědeckých článků. Od roku 2012 žije v Ithace v New Yorku.
Ocenění
Gries je jediným vítězem čtyř hlavních ocenění v oblasti informačního vzdělávání:
- Vzdělávací cena Americké federace zpracování informací ( 1986 );
- Významný přínos pro sekci vzdělávání informatiky Sekce informatiky Asociace pro výpočetní techniku ( 1991 );
- Cena Taylora Bootha za vzdělání Počítačové společnosti Institutu elektrotechniky a elektroniky ( 1994 );
- Cena Asociace pro výpočetní techniku za rok 1995 pro významného pedagoga .
Čestný doktor práv z Daniel Webster College ( Nashua , New Hampshire , 1966) a čestný doktor věd z Miami University (Oxford, Ohio , 1999).
Od roku 1994 je řádným členem Asociace pro výpočetní techniku za spoluautorství práce „Akceptace automatického nátisku pro paralelní programování I“.
Knihy
- Konstrukce kompilátoru pro digitální počítače. John Wiley and Sons, New York, 1971, 491 stran. (Přeloženo do španělštiny , japonštiny , čínštiny , italštiny a ruštiny . ruské vydání: Gris, David. Navrhování kompilátorů pro digitální počítače : Přeloženo z angličtiny / David Gris; Přeložil E. B. Dokshitskaya. - M.: Mir, 1975. - 544 stran. : il. - Bibliografie: str. 522-532. - Alph. uk.: str. 533-534. - Předmět uk.: str. 535-539. - (v překladu) : Bc. MDT 681.3.068, 681,3 RUB).
- Základní informace o strukturovaném programování s použitím PL/I, PL/C a PL/C7. 1976, 397 stran. (s R. Conwayem).
- Primer na strukturované programování pomocí Pascalu. 1976, 433 stran. (s R. Conwayem a E. C. Zimmermanem).
- Úvod do strukturovaného programování pomocí SP/K. 1977. (s R. Conwayem a D. Wortmanem).
- Úvod do programování -- strukturovaný přístup. Winthrop, Cambridge, vydání 3, 1978, 509 stran. (s R. Conwayem).
- Úvod do programování mikroprocesorů pomocí PL/Z. 1979, 593 stran. (s R. Conwayem, M. Fayem a C. Bassem).
- Metodika programování: Sborník článků členů IFIP WG2.3. editor. Springer Verlag, New York, 1979, 437 stran.
- Věda o programování. Springer Verlag, New York, 1981, 350 stran. (Přeloženo do ruštiny a japonštiny . Ruské vydání: Gris, David. Programming Science : Přeloženo z angličtiny / D. Gris; přeložil N. N. Nepeyvod , vyd. přeložil A. P. Ershov . - M .: Mir, 1984. - 416 stran : il. - Bibliografie: s. 413-414. - B. c., MDT 681.3.06, RUB 681,3).
- Krása je naše věc. editor. Springer Verlag, New York, 1990, 453 stran. (s WHJ Feijenem, AJM van Gasterenem a J. Misrou).
- Instruktorský manuál pro "Logický přístup k diskrétní matematice". D. Gries a FB Schneider, Ithaca, 1993. 311 stran (s FB Schneiderem).
- Logický přístup k diskrétní matematice. Springer Verlag, NY, 1993, 500 stran (s FB Schneiderem).
- Programovací koncepty a metody, PROCOMET '98 (ed.). Chapman a Hall, Londýn, 1998. (s W.-P. De Roeverem).
- Multimediální úvod do programování v Javě. Springer Verlag, NY, 2004, 536 stran (s P. Griesem).
- Program Live Companion. John Wiley & Sons, NY, 2001. 350 stran. (s P. Griesem a P. Hallem).
- program živě. Popis dat. Ithaca, NY, 2000. (s P. Griesem).
Odkazy
- Profesor David Gries
- Cornell University Science News: Počítačová asociace jmenuje Cornell's Gries jako vynikajícího pedagoga
 Tematické stránky | ||||
|---|---|---|---|---|
| ||||