Juris Hartmanis
Juris Hartmanis | |
---|---|
![]() | |
Lahir | (1928-07-05)5 Juli 1928 Riga, Latvia |
Meninggal | 29 Juli 2022(2022-07-29) (umur 94) |
Almamater |
|
Penghargaan | Penghargaan Turing (1993) |
Karier ilmiah | |
Bidang | Ilmu komputer |
Institusi |
|
Mahasiswa doktoral | Allan Borodin Dexter Kozen |
Juris Hartmanis (7 Juli 1928 – 29 Juli 2022) adalah seorang ilmuwan komputer yang terkenal, dan bersama Richard E. Stearns menerima Turing Award dari ACM pada tahun 1993 sebagai "penghargaan atas makalah yang sangat berpengaruh dalam mengembangkan dasar di bidang teori kompleksitas komputasi".
Hartmanis menyelesaikan studi sarjana di bildang fisika di University of Marburg, Jerman, dan kemudian melanjutkan master di bidang matematika terapan di University of Kansas City (sekarang University of Missouri-Kansas City), Amerika Serikat. Gelar Ph.D. diraihnya di bidang matematika dari Caltech.
Kemudian dia bekerja di General Electric Research Laboratory, mengembangkan prinsip-prinsip ilmu komputer. Pada tahun 1965, Hartmanis menjadi profesor di Cornell University, dan di sana dia mendirikan dan mengembangkan jurusan ilmu komputer.
Referensi
- Hartmanis, J., and Stearns, R. E. On the computational complexity of algorithms. Trans. Amer. Math. Soc. 117 (1965), 285–306.
Pranala luar
- Hartmanis biography at Cornell
- l
- b
- s
- Alan Perlis (1966)
- Maurice Vincent Wilkes (1967)
- Richard Hamming (1968)
- Marvin Minsky (1969)
- James H. Wilkinson (1970)
- John McCarthy (1971)
- Edsger W. Dijkstra (1972)
- Charles Bachman (1973)
- Donald Knuth (1974)
- Allen Newell; Herbert A. Simon (1975)
- Michael O. Rabin; Dana Scott (1976)
- John Backus (1977)
- Robert W. Floyd (1978)
- Kenneth E. Iverson (1979)
- Tony Hoare (1980)
- Edgar F. Codd (1981)
- Stephen Cook (1982)
- Ken Thompson; Dennis Ritchie (1983)
- Niklaus Wirth (1984)
- Richard Karp (1985)
- John Hopcroft; Robert Tarjan (1986)
- John Cocke (1987)
- Ivan Sutherland (1988)
- William Kahan (1989)
- Fernando J. Corbató (1990)
- Robin Milner (1991)
- Butler Lampson (1992)
- Juris Hartmanis; Richard E. Stearns (1993)
- Edward Feigenbaum; Raj Reddy (1994)
- Manuel Blum (1995)
- Amir Pnueli (1996)
- Douglas Engelbart (1997)
- Jim Gray (1998)
- Fred Brooks (1999)
- Andrew Yao (2000)
- Ole-Johan Dahl; Kristen Nygaard (2001)
- Ron Rivest; Adi Shamir; Leonard Adleman (2002)
- Alan Kay (2003)
- Vint Cerf; Bob Kahn (2004)
- Peter Naur (2005)
- Frances Allen (2006)
- Edmund M. Clarke; E. Allen Emerson; Joseph Sifakis (2007)
- Barbara Liskov (2008)
- Charles P. Thacker (2009)
- Leslie G. Valiant (2010)
- Judea Pearl (2011)
- Shafi Goldwasser; Silvio Micali (2012)
- Leslie Lamport (2013)
- Michael Stonebraker (2014)
- Martin Hellman; Whitfield Diffie (2015)
- Tim Berners-Lee (2016)
- John L. Hennessy; David Patterson (2017)
- Yoshua Bengio; Geoffrey Hinton; Yann LeCun (2018)
- Ed Catmull; Pat Hanrahan (2019)
- Alfred Aho; Jeffrey Ullman (2020)