Richard Stearns

Infotaula de personaRichard Stearns

Richard Stearns el 2009 Modifica el valor a Wikidata
Biografia
NaixementRichard Edwin Stearns
5 juliol 1936 Modifica el valor a Wikidata (87 anys)
Caldwell (Nova Jersey) Modifica el valor a Wikidata
Dades personals
NacionalitatEstatunidenc
FormacióUniversitat de Princeton
Director de tesiHarold Kuhn Modifica el valor a Wikidata
Activitat
Camp de treballCiències de la computació, matemàtiques i teoria de la complexitat computacional Modifica el valor a Wikidata
Ocupacióinformàtic, editor, professor d'universitat, enginyer, matemàtic Modifica el valor a Wikidata
OrganitzacióUniversitat d'Albany, de la Universitat Estatal de Nova York
Membre de
Obra
Estudiant doctoralMadhav Vishnu Marathe Modifica el valor a Wikidata
Premis
Premi Turing 1993
Frederick W. Lanchester Prize 1995

Lloc webcs.albany.edu… Modifica el valor a Wikidata
Goodreads author: 18453695

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

  • Vegeu aquesta plantilla
Guardonats amb el Premi Turing

Perlis (1966) • Wilkes (1967) • Hamming (1968) • Minsky (1969) • Wilkinson (1970) • McCarthy (1971) • Dijkstra (1972) • Bachman (1973) • Knuth (1974) • Newell / Simon (1975) • Rabin / Scott (1976) • Backus (1977) • Floyd (1978) • Iverson (1979) • Hoare (1980) • Codd (1981) • Cook (1982) • Thompson / Ritchie (1983) • Wirth (1984) • Karp (1985) • Hopcroft / Tarjan (1986) • Cocke (1987) • Sutherland (1988) • Kahan (1989) • Corbató (1990) • Milner (1991) • Lampson (1992) • Hartmanis / Stearns (1993) • Feigenbaum / Reddy (1994) • Blum (1995) • Pnueli (1996) • Engelbart (1997) • Gray (1998) • Brooks (1999) • Yao (2000) • Dahl / Nygaard (2001) • Rivest / Shamir / Adleman (2002) • Kay (2003) • Cerf / Kahn (2004) • Naur (2005) • Allen (2006) • Clarke / Emerson / Sifakis (2007) • Liskov (2008) • Thacker (2009) • Valiant (2010) • Pearl (2011) • Micali / Goldwasser (2012) • Lamport (2013) • Stonebraker (2014) • Hellman / Diffie (2015) • Berners-Lee (2016) • Hennessy / Patterson (2017) • Bengio / Hinton / LeCun (2018) • Hanrahan / Catmull (2019) • Aho / Ullman (2020) • Dongarra (2021) • Metcalfe (2022)

Registres d'autoritat
Bases d'informació