Richard Stearns
![]() (2009) ![]() | |
Biografia | |
---|---|
Naixement | 5 juliol 1936 ![]() Caldwell (Nova Jersey) ![]() |
Nacionalitat | Estatunidenc |
Formació | Universitat de Princeton |
Director de tesi | Harold Kuhn ![]() |
Activitat | |
Camp de treball | Ciències de la computació, matemàtiques i teoria de la complexitat computacional ![]() |
Ocupació | informàtic, editor, professor d'universitat, enginyer, matemàtic ![]() |
Organització | Universitat d'Albany, de la Universitat Estatal de Nova York |
Membre de | Association for Computing Machinery (membre de l'Association for Computing Machinery) (1994–) ![]() |
Obra | |
Estudiant doctoral | Madhav Vishnu Marathe ![]() |
Premis Premi Turing 1993 Frederick W. Lanchester Prize 1995 | |
Lloc web | cs.albany.edu… ![]() |
![]() |
Richard Edwin Stearns (nascut el 5 de juliol de 1936) és un informàtic destacat que, juntament amb Juris Hartmanis, va rebre el premi Turing de l'ACM de 1993 "en reconeixement del seu article pioner que va establir els fonaments del camp de la teoria de la complexitat computacional" (Hartmanis and Stearns, 1965). El 1994 fou nomenat Fellow de l'ACM.
Stearns va doctorar-se a Princeton el 1961. El seu director de tesi fou Harold W. Kuhn. Stearns és professor distingit emèrit d'Informàtica a la Universitat d'Albany, que forma part de la Universitat Estatal de Nova York.
Bibliografia
- Stearns, R.E.; Hartmanis, J. «Regularity preserving modifications of regular expressions». Information and Control, 6, 1, març 1963, p. 55–69. DOI: 10.1016/S0019-9958(63)90110-4.. Primer estudi sistemàtic de les operacions de llenguatge que conserven els llenguatges regulars.
- Hartmanis, J.; Stearns, R. E. «On the computational complexity of algorithms». Transactions of the American Mathematical Society. American Mathematical Society, 117, maig 1965, pàg. 285–306. DOI: 10.2307/1994208. JSTOR: 1994208.. Conté el teorema de jerarquia temporal, un dels teoremes que van donar forma al camp de la teoria de complexitat computacional.
- Stearns, R.E. «A Regularity Test for Pushdown Machines». Information and Control, 11, 3, setembre 1967, p. 323–340. DOI: 10.1016/S0019-9958(67)90591-8.. Respon una pregunta bàsica sobre autòmats amb pila deterministes: és decidible si un autòmat amb pila determinista donat accepta un llenguatge regular.
- Lewis II, P.M.; Stearns, R.E. «Syntax-Directed Transduction». Journal of the ACM, 15, 3, 1968, p. 465–488. DOI: 10.1145/321466.321477.. Introdueix els analitzadors LL, que tenen un paper important en disseny de compiladors.
Enllaços externs
- Richard Stearns al Mathematics Genealogy Project.
- Entrada al DBLP
- Pàgina personal Arxivat 2019-06-04 a Wayback Machine. a la Universitat d'Albany