John hopcroft

John hopcroft Kép az Infoboxban. John Hopcroft, az ő kinevezése díszdoktora származó ITMO University of St. Petersburg (2009). Életrajz
Születés 1939. október 7
Seattle
Állampolgárság Amerikai
Kiképzés Stanford
Egyetem, Seattle Egyetem
Tevékenységek Számítástechnikus , egyetemi tanár
Egyéb információk
Dolgozott valakinek Cornell Egyetem , Seattle Egyetem
Terület Informatika ( in )
Tagja valaminek Számítástechnikai Egyesület
Amerikai Művészeti és Tudományos Akadémia
Amerikai Egyesült Államok Nemzeti Mérnöki Akadémia (1989)
Amerikai Tudományos Akadémia (2009)
Felügyelő Richard Mattson ( in )
Weboldal www.cs.cornell.edu/jeh
Díjak Turing-díj (1986)

John Edward H. Hopcroft , született 1939. október 7A Seattle , egy amerikai számítógépes tudós , professzor emeritusa Cornell University .

Jeffrey D. Ullman és Alfred V. Aho vagy mindkettő társszerzője számos fontos algoritmusról, adatstruktúráról, valamint automatákról és formális nyelvekről szóló könyvről, amelyek már nagyon régóta referencia művek. A kezdetektől fogva részt vett az Egyesült Államok számítástechnikai oktatásának meghatározásában, és számos tudóst képzett ki informatikáról.

1986- ban megkapta a Turing-díjat .

Életrajz

1961-ben, Hopcroft szerzett főiskolai diplomát villamosmérnöki a University of Seattle , majd folytatta tanulmányait a Stanford University , ahol ő szerzett diplomáját 1962-ben , és a Ph.D. 1964 felügyelete alatt Richard L. Mattson, tézissel „  Küszöb logikai hálózatok szintézise  ” címmel . Három év után a Princetoni Egyetemen professzori címet szerzett az ithakai Cornell Egyetemen ; 2016-ban az IBM mérnöki és alkalmazott matematika professzora volt a számítástechnikában . 1987 és 1992 között irányította a kar számítástechnika Cornell, akkor volt dékánhelyettese College ügyek a College of Engineering, és dékán az egyetemen 1994-től 2001-től 1970-1971 volt egy év alkotói vendégprofesszor a mérnöki főiskolán, a Stanfordi Egyetemen.

Kutatás

Hopcroft főleg az algoritmusok elemzésével, az automata elmélettel , a gráfelmélettel , a formális nyelvekkel foglalkozik , újabban pedig az információk bevitelével és hozzáférésével foglalkozik. A Ravindran Kannan , ő dolgozik egy könyvet Computer Science elmélet az információs kor , az előzetes változatát, amely elérhető on-line .

Richard Karp mellett a Hopcroft-Karp algoritmus szerzője a hozzárendelési problémának, amely abban áll, hogy egy kétoldalas gráfban csatolást találunk . Jin-Kue Wong segítségével létrehozott egy lineáris algoritmust a gráf izomorfizmus problémájára a sík gráfokon .

Aktívan részt vett az algoritmusok aszimptotikus komplexitásának fogalmának bevezetésében, azzal a következménnyel, hogy a tudományos közösség elfogadta Landau jelölését a komplexitás mérésére a legrosszabb esetben; ebben szembeszállt például Knutffal, aki elvont szimbolikus nyelven számolta az elemi műveleteket. Megvitatta a matematikai formalizmus helyét az algoritmusok tanításában is. Így az Adatszerkezetek és algoritmusok című könyve nem tartalmaz sem „állítást”, sem „demonstrációt”, ugyanakkor korlátozza a hatékonyságot és azok igazolását.

Hopcroft fejlődött, együttműködve a Tarján , fontos adathalmazt struktúrák és algoritmusok a manipuláció grafikonok. Tarjannal végzett munkájában az egyik legfontosabb hozzájárulás egy lineáris időgráf síktesztje .

Tanítványai között van Alfred Aho , Chandrajit Bajaj  (en) , Gilles Brassard , Cynthia Dwork , Zvi Galil  (en) , Daniela Rus  (en) .

Változatos tevékenységek

A Cornell Egyetemen kívül Hopcroft körülbelül 130 vállalat , intézmény, konferencia vagy tudományos folyóirat tanácsadója, bizottsági tagja vagy kiadója volt , vagy volt, köztük az Alfred P. Sloan Alapítvány , a Bell Laboratories , a Carnegie University -Mellon , a Goddard Space Flight Center , IBM , Microsoft , NASA , US National Engineering Academy , 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 , United States Army , Az Egyesült Államok Légierője és a Yale Egyetem .

Könyvek

Díjak és megkülönböztetések (válogatás)

Kinevezések

Megjegyzések és hivatkozások

  1. emeritus professzor .
  2. „  John E Hopcroft életrajza  ” , amturing.acm.org/
  3. (in) "  John Edward H. Hopcroft  " a helyszínen Matematika Genealógia Project
  4. John E. Hopcroft és Richard M. Karp , „  An n 5/2 algoritmus a maximális egyezéshez kétoldalas grafikonokban  ”, SIAM Journal on Computing , vol.  2, n o  4, 1973, P.  225–231 ( DOI  10.1137 / 0202019 ).
  5. John E. Hopcroft és Jin-Kue Wong , „Lineáris időalgoritmus a síkbeli grafikonok izomorfizmusához” , a hatodik ACM Symposium on The Computing Theory folyóiratában ,1974( DOI  10.1145 / 800119.803896 ) , p.  172–184
  6. John E. Hopcroft és Robert Endre Tarjan, „  Hatékony algoritmusok a gráfmanipulációhoz [H] (447. algoritmus)  ”, ACM közleményei , vol.  16, n o  6,1973, P.  372-378 ( DOI  10.1145 / 362248.362272 ).
  7. John E. Hopcroft és Robert Endre Tarjan, „  Efficient Planarity Testing  ”, Journal of the ACM , vol.  21, n o  4,1974, P.  549–568 ( DOI  10.1145 / 321850.321852 )
  8. "  ACM Awards: AM Turing Award  " [ archívum innen:2009. december 12] , ACM (hozzáférés : 2011. február 5. ) .
  9. "  Harry H. Goode Memorial Award Past Recipients  " , IEEE (hozzáférés : 2009. május 8. ) .
  10. „  Karl V. Karlström Kiváló Pedagógus-díj  ” [ archív2012. április 19] , ACM (hozzáférés : 2009. október 28. )
  11. (in) "  IEEE John von Neumann-érem címzettjei  " , IEEE (hozzáférés: 2010. február 4. )

Külső linkek