John Hopcroft - John Hopcroft
Profesor
John Edward Hopcroft
| |
---|---|
Urodzić się |
|
7 października 1939
Alma Mater | Seattle University , Stanford University |
Nagrody |
Turing Award (1986) ACM Fellow (1994) Harry H. Goode Memorial Award (2005) Karl Karlstrom Outstanding Educator Award (2008) IEEE John von Neumann Medal (2010) Friendship Award (Chiny) 2016 |
Kariera naukowa | |
Pola | Informatyka |
Instytucje | Cornell University , Princeton University , Stanford University , Chinese University of Hong Kong |
Praca dyplomowa | Synteza sieci logicznych progowych (1964) |
Doradca doktorski | Richard Mattson |
Doktoranci | |
Strona internetowa | www |
John Edward Hopcroft (ur. 7 października 1939) to amerykański teoretyk informatyk . Jego podręczniki z teorii obliczeń (znane również jako książka o Kopciuszku ) i struktury danych są uważane za standardy w swoich dziedzinach. Jest profesorem inżynierii i matematyki stosowanej w informatyce na Uniwersytecie Cornell .
Edukacja
Otrzymał stopień licencjata z Uniwersytetu w Seattle w 1961 roku otrzymał tytuł magistra i doktora z Uniwersytetu Stanforda odpowiednio w 1962 i 1964 roku. Pracował przez trzy lata na Uniwersytecie Princeton i od tego czasu jest na Uniwersytecie Cornell . Hopcroft jest wnukiem Jacoba Nista , założyciela Seattle-Tacoma Box Company .
Kariera zawodowa
Oprócz pracy badawczej znany jest ze swoich książek o algorytmach i językach formalnych współautorów z Jeffreyem Ullmanem i Alfredem Aho , uważanych za klasyczne teksty z tej dziedziny.
W 1986 otrzymał Nagrodę Turinga (wspólnie z Robertem Tarjanem ) "za fundamentalne osiągnięcia w projektowaniu i analizie algorytmów i struktur danych". Oprócz pracy z Tarjanem nad grafami planarnymi jest również znany z algorytmu Hopcrofta-Karpa do znajdowania dopasowań w grafach dwudzielnych . W 1994 został wprowadzony na stanowisko Fellow of the Association for Computing Machinery . W 2005 roku otrzymał nagrodę Harry'ego H. Goode Memorial Award „za fundamentalny wkład w badanie algorytmów i ich zastosowań w przetwarzaniu informacji”. W 2008 roku otrzymał nagrodę Karl V. Karlstrom Outstanding Educator Award „za wizję i wpływ na informatykę, w tym współautorstwo definiujących dziedzinę tekstów na temat teorii i algorytmów, które nadal wpływają na studentów 40 lat później, doradzając doktorantom, którzy sami teraz wnoszą duży wkład w informatykę i zapewniają wpływowe przywództwo w badaniach i edukacji informatycznej na poziomie krajowym i międzynarodowym”.
Hopcroft został wybrany na członka National Academy of Engineering w 1989 r. za fundamentalny wkład w algorytmy komputerowe i za autorstwo wybitnych podręczników informatyki.
W 1992 roku Hopcroft został nominowany do Narodowej Rady Naukowej przez George'a HW Busha .
W 2005 roku otrzymał tytuł doktora honoris causa University of Sydney w Sydney w Australii. W 2009 roku otrzymał honorowy doktorat z Sankt Petersburg State University of Information Technologies, Mechaniki i Optyki . W 2020 r. Chiński Uniwersytet w Hongkongu w Shenzhen otworzył Instytut Zaawansowanych Nauk Informacyjnych Hopcrofta i mianował go profesorem Einsteina.
Hopcroft jest również współodbiorcą (wraz z Jeffreyem Ullmanem ) Medalu IEEE Johna von Neumanna 2010 „za położenie podwalin pod dziedziny automatów i teorii języka oraz wiele przełomowych wkładów w informatykę teoretyczną”.
Nagrody
- 1986. Nagroda Turinga
- 1989. Członek Narodowej Akademii Inżynierskiej
- 1994. Stypendysta ACM
- 2005. Nagroda im . Harry'ego H. Goode'a
- 2008. Nagroda dla wybitnego pedagoga Karla Karlstroma
- 2010. Medal IEEE Johna von Neumanna
Wybrane publikacje
- Książki
- 2017. Podstawy nauki o danych . (z Avrimem Blumem i Ravindranem Kannanem )
- 2001. JE Hopcroft, Rajeev Motwani, Jeffrey D. Ullman , Wprowadzenie do teorii automatów, języków i obliczeń, wydanie drugie. Addisona-Wesleya.
- 1983. Alfred V. Aho , JE Hopcroft, Jeffrey D. Ullman, Struktury danych i algorytmy , Addison-Wesley Series in Computer Science and Information Processing.
- 1974. Alfred V. Aho, JE Hopcroft, Jeffrey D. Ullman, The Design and Analysis of Computer Algorithms , Addison-Wesley Series in Computer Science and Information Processing.
- 1969. Języki formalne i ich związek z automatami . (z Jeffreyem D. Ullmanem), Addison-Wesley, Reading MA.
Zobacz też
Bibliografia
Zewnętrzne linki