Gris, David
| David Gries | |
|---|---|
| David Gries | |
| Születési dátum | 1939. április 26. (83 évesen) |
| Születési hely | New York |
| Ország | USA |
| Tudományos szféra | Informatika |
| Munkavégzés helye | Cornell Egyetem |
| alma Mater |
Queens College University of Illinois a müncheni Urbana-Champaign Műszaki Egyetemen |
| tudományos tanácsadója | Friedrich Bauer |
| Ismert, mint |
Oktató és módszertanos a programellenőrzés területén, az evidencia alapú párhuzamos számítástechnika specialistája |
| Díjak és díjak |
1986. Az Amerikai Információfeldolgozó Szövetség Oktatási Díja _ _ Taylor Booth, az Elektromos és Elektronikai Mérnöki Intézet Számítógép Társaságának tagja ( 1994 ) A Számítógépek Szövetsége Oktatási Kiváló Személy Díja ( 1995 ) |
| Weboldal | cs.cornell.edu/gries/ |
David Gries ( David Gries , 1939. április 26. , New York ) amerikai informatikus, a Cornell Egyetem professzora , leginkább a The Science of Programming ( 1981 ) és a The Logical Approach to Discrete Mathematics ( 1993 ) szerzőjeként ismert. , Fred Schneiderrel közösen ) és társszerzője az "Automated Proof Reception for Parallel Programming I" című műnek.
Életrajz
1939-ben született Flushingban , New York legrégebbi Queens városrészében .
1960-ban szerzett bachelor fokozatot a Queens College-ban (New York City University) , majd a következő két évben számítógép-programozóként dolgozott a US Navy Weapons Laboratory-ban. Ott ismerkedett meg leendő feleségével, Elaine-nel.
Mesterdiplomáját 1963 -ban fejezte be az Illinoisi Egyetemen, az Urbana-Champaign- ben, és Manfred Pohllal és Rüdiger Wiele -lel komplett Algol fordítóprogramot írt az IBM 7090 számítógéphez . 1966 - ban a Müncheni Műszaki Egyetemen szerzett természettudományi doktorátust , ahol Friedrich Bauer és Josef Stöhr tanítványai voltak .
1966-1969 között adjunktusként dolgozott a Stanfordon , majd a Cornell Egyetemen, ahol 30 évet töltött, és 1982-1987 között a számítástechnikai tanszéket vezette. 1992-ben kiadta a Misra and Gris Edge Coloring Algorithm -et . 1999 és 2002 között az athéni Georgiai Egyetemen tanított , majd 2003 januárjában tért vissza Cornellbe.
Hét tankönyv és 75 tudományos cikk szerzője, társszerzője és szerkesztője. 2012-től a New York-i Ithacában él.
Díjak
Gries az információs oktatás területén négy nagy díj egyetlen nyertese:
- Az American Information Processing Federation oktatási díja ( 1986 );
- Kiemelkedő hozzájárulás a Számítástechnikai Oktatási Szekcióhoz A Számítástechnikai Gépek Szövetsége Számítástechnikai Szakosztálya ( 1991 );
- Az Elektromos és Elektronikai Mérnöki Intézet Számítógép Társaságának Taylor Booth Oktatási Díja ( 1994 );
- 1995. A Számítástechnikai Gépek Szövetsége Kiváló Pedagógus Díja .
A Daniel Webster College tiszteletbeli doktora ( Nashua , New Hampshire , 1966) és a tudományok tiszteletbeli doktora a Miami Egyetemen (Oxford, Ohio , 1999).
1994-től a Számítógépek Szövetségének rendes tagja az "Automatikus bizonyítási eljárás elfogadása párhuzamos programozáshoz I" című mű társszerzőjeként.
Könyvek
- Fordító konstrukció digitális számítógépekhez. John Wiley and Sons, New York, 1971, 491 oldal. ( Spanyol , japán , kínai , olasz és orosz nyelvre fordította . Orosz kiadás: Gris, David. Fordítóprogramok tervezése digitális számítógépekre : Angolból fordított / David Gris; Fordította: E. B. Doksitskaya. - M .: Mir , 1975. - 544 pp. : ill. - Irodalomjegyzék: 522-532. - Alph. uk.: 533-534. - Tárgy uk.: 535-539. - (fordításban): B. c. UDC 681.3.068, 681,3 RUB).
- A Primer a strukturált programozáshoz, PL/I, PL/C és PL/C7 használatával. 1976, 397 oldal. (R. Conway-vel).
- Primer a strukturált programozáshoz Pascal használatával. 1976, 433 oldal. (R. Conway-vel és E. C. Zimmermannel).
- Bevezetés az SP/K-t használó strukturált programozásba. 1977. (R. Conway-vel és D. Wortmannel).
- Bevezetés a programozásba – strukturált megközelítés. Winthrop, Cambridge, 3. kiadás, 1978, 509 oldal. (R. Conway-vel).
- Bevezetés a mikroprocesszoros programozásba PL/Z használatával. 1979, 593 oldal. (R. Conway, M. Fay és C. Bass társaságában).
- Programozási módszertan: cikkgyűjtemény az IFIP WG2.3 tagjaitól. szerkesztő. Springer Verlag, New York, 1979, 437 oldal.
- A programozás tudománya. Springer Verlag, New York, 1981, 350 oldal. ( Oroszra és japánra fordította . Orosz kiadás: Gris, David. Programing Science : Translated from English / D. Gris; fordította N. N. Nepeyvod , a szerk. fordította : A. P. Ershov . - M .: Mir, 1984. - 416 p. : ill. - Bibliográfia: 413-414. oldal - B. c., UDC 681.3.06, RUB 681.3).
- A szépség a mi dolgunk. szerkesztő. Springer Verlag, New York, 1990, 453 oldal. (WHJ Feijennel, AJM van Gasterennel és J. Misrával).
- Oktatói kézikönyv "A diszkrét matematika logikai megközelítéséhez". D. Gries és FB Schneider, Ithaca, 1993. 311 oldal (FB Schneiderrel).
- A diszkrét matematika logikai megközelítése. Springer Verlag, NY, 1993, 500 oldal (FB Schneiderrel).
- Programozási fogalmak és módszerek, PROCOMET '98 (szerk.). Chapman és Hall, London, 1998. (W.-P. De Roeverrel).
- Multimédiás Bevezetés a Java használatával történő programozásba. Springer Verlag, NY, 2004, 536 oldal (P. Gries-szel).
- A Program Live Companion. John Wiley & Sons, NY, 2001. 350 oldal. (P. Gries-szel és P. Hall-lal).
- program élőben. DataDescription. Ithaca, NY, 2000. (P. Gries-szel).
Linkek
- David Gries professzor
- A Cornell Egyetem tudományos hírei: Számítógépes szövetség kiváló oktatónak nevezi Cornell's Gries-t
 Tematikus oldalak | ||||
|---|---|---|---|---|
| ||||