Richard Stearns
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.
.jpg) (2009)  | |
| Biografia | |
|---|---|
| Naixement | Richard Edwin Stearns 5 juliol 1936 (88 anys)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 | |
| Obra | |
| Estudiant doctoral | Madhav Vishnu Marathe |
| Premis | |
| Descrit per la font | Obálky knih,  |
| Lloc web | cs.albany.edu… |
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
modifica- Stearns, R.E.; Hartmanis, J. «Regularity preserving modifications of regular expressions». Information and Control, 6, 1, 01-03-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, 01-05-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, 01-09-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
modifica- Richard Stearns al Mathematics Genealogy Project.
- Entrada al DBLP
- Pàgina personal Arxivat 2019-06-04 a Wayback Machine. a la Universitat d'Albany