John hopcroft

John hopcroft Kuva Infoboxissa. John Hopcroft, hänen nimityksensä kunniatohtori alkaen ITMO University of St. Petersburg (2009). Elämäkerta
Syntymä 7. lokakuuta 1939
Seattle
Kansalaisuus amerikkalainen
Koulutus Stanfordin
yliopisto Seattlen yliopisto
Toiminta Tietotekniikka , yliopiston professori
Muita tietoja
Työskenteli Cornellin yliopisto , Seattlen yliopisto
Ala Informaatiotiede ( in )
Jonkin jäsen Tietotekniikkayhdistys
American Academy of Arts and Sciences
United States National Academy of Engineering (1989)
Amerikan tiedeakatemia (2009)
Valvoja Richard Mattson ( sisään )
Verkkosivusto www.cs.cornell.edu/jeh
Palkinnot Turingin palkinto (1986)

John Edward H.Hopcroft , syntynyt7. lokakuuta 1939in Seattle , on amerikkalainen tietojenkäsittelytieteessä , emeritusprofessori Cornellin yliopistossa .

Hän on yhdessä Jeffrey D. Ullmanin ja Alfred V. Ahon tai molempien kanssa kirjoittanut useita tärkeitä algoritmeja, tietorakenteita, automaatteja ja muodollisia kieliä käsitteleviä kirjoja, jotka ovat olleet hyvin pitkään hakuteoksia. Hän on ollut alusta alkaen mukana määrittelemässä tietojenkäsittelytieteen opetusta Yhdysvalloissa ja kouluttanut monia tietojenkäsittelytieteen tiedemiehiä.

Hän sai Turing-palkinnon vuonna 1986.

Elämäkerta

Vuonna 1961 Hopcroft sai sähkötekniikan kandidaatin tutkinnon Seattlen yliopistosta , minkä jälkeen hän jatkoi opintojaan Stanfordin yliopistossa , jossa hän sai maisterin tutkinnon vuonna 1962 ja tohtorin tutkinnon vuonna 1964 Richard L. Mattsonin valvonnassa. , jonka väitöskirja on "  Kynnyslogiikkaverkkojen synteesi  " . Kolmen vuoden kuluttua Princetonin yliopistossa , hän sai professuuri Cornellin yliopistossa vuonna Ithaca ; vuonna 2016 hän oli IBM: n tekniikan ja sovelletun matematiikan professori tietojenkäsittelytieteessä . Vuodesta 1987 vuoteen 1992 hän ohjasi tietojenkäsittelytieteen tiedekunnan Cornell, sitten oli varadekaani College asioiden College of Engineering, ja dekaani kollegion vuodesta 1994 vuoteen 2001. Vuodesta 1970-1971 hän oli sapattivuoden vierailevana professorina insinöörikorkeakoulu Stanfordin yliopisto.

Tutkimus

Hopcroft työskentelee pääasiassa algoritmien, automaattien , graafiteorian , muodollisten kielten ja viimeisimpien tietojen syöttämisen ja saatavuuden analysoinnissa . Kanssa Ravindran Kannan , hän työskentelee kirjan nimeltä Computer Science Theory for Information Age , alustavan version, joka on saatavilla verkossa .

Hän on kirjoittanut, jossa Richard Karp , että Hopcroft-Karp algoritmia varten osoitusongelmaan joka koostuu löytää kytkentä on kaksijakoinen kuvaaja . Hän myös luotu Jin-Kue Wong, lineaarinen algoritmi varten ongelman kuvaaja isomorphism on tasomainen kaavioita .

Hän osallistui aktiivisesti algoritmien asymptoottisen monimutkaisuuden käsitteen käyttöönottoon saamalla tiedeyhteisön omaksumaan Landaun merkinnän monimutkaisuuden mittaamiseksi pahimmassa tapauksessa; tässä hän vastusti esimerkiksi Knuthia, joka laski alkeisoperaatiot abstraktilla symbolisella kielellä. Hän keskusteli myös matemaattisen formalismin paikasta algoritmien opetuksessa. Siksi hänen kirjassaan Tietorakenteet ja algoritmit ei ole "lausuntoa" eikä "esittelyä", mutta samalla rajoitetaan tehokkuutta ja niiden todisteita.

Hopcroft on kehittänyt yhteistyössä Tarjanin kanssa tärkeän tietorakenteiden ja algoritmien sarjan graafien käsittelyä varten. Yksi tärkeimmistä panoksista hänen työssään Tarjanin kanssa on lineaarisen aikakäyrän tasaisuuden testi .

Hänen opiskelijoidensa joukossa ovat Alfred Aho , Chandrajit Bajaj  (en) , Gilles Brassard , Cynthia Dwork , Zvi Galil  (en) , Daniela Rus  (en) .

Monipuolista toimintaa

Cornellin yliopiston ulkopuolella Hopcroft on tai on ollut neuvonantaja, komitean jäsen tai kustantaja noin 130 yrityksessä , laitoksessa, konferenssissa tai tieteellisessä lehdessä, mukaan lukien Alfred P.Sloan -säätiö , Bell Laboratories , Carnegie University -Mellon , Goddard Space Flight Center , IBM , Microsoft , NASA , US National Academy of Engineering , National Academy of Sciences , US National Research Council , National Science Board  (en) , Sandia Laboratories , SIAM Journal on Scientific Computing , Society for Industrial and Applied Mathematics , Yhdysvaltain armeija , Yhdysvaltain ilmavoimat ja Yalen yliopisto .

Kirjat

Palkinnot ja erot (valinta)

Nimitykset

Huomautuksia ja viitteitä

  1. emeritusprofessori .
  2. "  John E Hopcroftin elämäkerta  " osoitteessa amturing.acm.org/
  3. (in) "  John Edward H. Hopcroft  " on päällä matematiikan Sukututkimus Project
  4. John E. Hopcroft ja Richard M. Karp , "  An n 5/2 -algoritmi maksimaaliselle vastaavuudelle kahdenvälisissä kaavioissa  ", SIAM Journal on Computing , voi.  2, n o  4, 1973, s.  225-231 ( DOI  10,1137 / 0202019 ).
  5. John E.Hopcroft ja Jin-Kue Wong , ”Lineaarinen aika-algoritmi tasomaisille kaavioille” , Proceedings of the Sixth Annual ACM Symposium on Theory of Computing ,1974( DOI  10.1145 / 800119.803896 ) , s.  172–184
  6. John E. Hopcroft ja Robert Endre Tarjan, ”  Tehokkaat algoritmit kuvaajan manipulointiin [H] (algoritmi 447)  ”, ACM: n tiedonannot , voi.  16, n °  6,1973, s.  372-378 ( DOI  10.1145 / 362248.362272 ).
  7. John E. Hopcroft ja Robert Endre Tarjan, ”  Tehokas tasaisuuden testaus  ”, Journal of ACM , voi.  21, n o  4,1974, s.  549-568 ( DOI  10.1145 / 321850.321852 )
  8. "  ACM Awards: AM Turing Award  " [ arkisto12. joulukuuta 2009] , ACM (käytetty 5. helmikuuta 2011 ) .
  9. "  Harry H. Goode Memorial Award Past Recipients  " , IEEE (käytetty 8. toukokuuta 2009 ) .
  10. "  Karl V. Karlstrom merkittävältä kasvattajalta Award  " [ arkisto19. huhtikuuta 2012] , ACM (käytetty 28. lokakuuta 2009 )
  11. (in) "  IEEE John von Neumannin mitali-vastaanottajat  " , IEEE (käytetty 4. helmikuuta 2010 )

Ulkoiset linkit