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 |
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 .
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.
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) .
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 .