Richard E. Stearns
Richard Edwin Stearns | |
---|---|
Richard Stearns in 2009 | |
Born | (1936-07-05) July 5, 1936 (age 88) Caldwell, New Jersey |
Alma mater | Carleton College (B.A.) Princeton University (Ph.D.) |
Awards | ACM Turing Award (1993) Frederick W. Lanchester Prize (1995) |
Scientific career | |
Institutions | University at Albany |
Doctoral advisor | Harold W. Kuhn |
Richard Edwin Stearns (born July 5, 1936) is an American computer scientist who, with Juris Hartmanis, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory".[1] In 1994 he was inducted as a Fellow of the Association for Computing Machinery.
Stearns graduated with a B.A. in mathematics from Carleton College in 1958.[2] He then received his Ph.D. in mathematics from Princeton University in 1961 after completing a doctoral dissertation, titled Three person cooperative games without side payments, under the supervision of Harold W. Kuhn.[3] Stearns is now Distinguished Professor Emeritus of Computer Science at the University at Albany, which is part of the State University of New York.[4]
Bibliography
- Stearns, R.E.; Hartmanis, J. (March 1963), "Regularity preserving modifications of regular expressions", Information and Control, 6 (1): 55–69, doi:10.1016/S0019-9958(63)90110-4. A first systematic study of language operations that preserve regular languages.
- Hartmanis, J.; Stearns, R. E. (May 1965), "On the computational complexity of algorithms", Transactions of the American Mathematical Society, 117, American Mathematical Society: 285–306, doi:10.2307/1994208, JSTOR 1994208, MR 0170805. Contains the time hierarchy theorem, one of the theorems that shaped the field of computational complexity theory.
- Stearns, R.E. (September 1967), "A Regularity Test for Pushdown Machines", Information and Control, 11 (3): 323–340, doi:10.1016/S0019-9958(67)90591-8. Answers a basic question about deterministic pushdown automata: it is decidable whether a given deterministic pushdown automaton accepts a regular language.
- Lewis II, P.M.; Stearns, R.E. (1968), "Syntax-Directed Transduction", Journal of the ACM, 15 (3): 465–488, doi:10.1145/321466.321477, S2CID 16512120. Introduces LL parsers, which play an important role in compiler design.
References
- ^ Lewis, Philip M. "Richard ("Dick") Edwin Stearns". AMTuring.ACM.org. Association for Computing Machinery. Retrieved 10 March 2019.
- ^ "Richard E Stearns - A.M. Turing Award Laureate". amturing.acm.org. Retrieved 2020-06-18.
- ^ Stearns, Richard Edwin (1961). Three person cooperative games without side payments.
- ^ "Richard E. Stearns". IEEE Xplore. Retrieved 2024-02-15.
External links
- Official website
- Richard Edwin Stearns at DBLP Bibliography Server
- Richard Edward Stearns at the Mathematics Genealogy Project
- v
- t
- e
- 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)
- Jack Dongarra (2021)
- Robert Metcalfe (2022)
- Avi Wigderson (2023)
P ≟ NP | This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e