Richard Edwin Stearns (nacido el 5 de julio de 1936) es un destacado científico informático que, con Juris Hartmanis , recibió el premio ACM Turing de 1993 "en reconocimiento a su artículo fundamental que estableció las bases para el campo de la teoría de la complejidad computacional ". [1] En 1994 fue admitido como miembro de la Association for Computing Machinery .
Richard Edwin Stearns | |
---|---|
Nació | |
alma mater | Carleton College (BA) Universidad de Princeton (Ph.D.) |
Premios | Premio ACM Turing (1993) Premio Frederick W. Lanchester (1995) |
Carrera científica | |
Instituciones | Universidad de Albany |
Asesor de doctorado | Harold W. Kuhn |
Estudiantes de doctorado | Madhav V. Marathe (junto con el profesor Harry B. Hunt III), Tom O'Connell |
Stearns se graduó con una licenciatura en matemáticas de Carleton College en 1958. [2] Luego recibió su Ph.D. en matemáticas de la Universidad de Princeton en 1961 después de completar una tesis doctoral, titulada " Juegos cooperativos de tres personas sin pagos adicionales", bajo la supervisión de Harold W. Kuhn . [3] Stearns es ahora profesor emérito distinguido de informática en la Universidad de Albany , que forma parte de la Universidad Estatal de Nueva York .
Bibliografía
- Stearns, RE; Hartmanis, J. (marzo de 1963), "Regularidad preservando modificaciones de expresiones regulares", Información y control , 6 (1): 55–69, doi : 10.1016 / S0019-9958 (63) 90110-4. Un primer estudio sistemático de las operaciones del lenguaje que preservan los lenguajes regulares .
- Hartmanis, J .; Stearns, RE (mayo de 1965), "Sobre la complejidad computacional de los algoritmos", Transactions of the American Mathematical Society , American Mathematical Society, 117 : 285-306, doi : 10.2307 / 1994208 , JSTOR 1994208 , MR 0170805. Contiene el teorema de la jerarquía temporal , uno de los teoremas que dieron forma al campo de la teoría de la complejidad computacional .
- Stearns, RE (septiembre de 1967), "A Regularity Test for Pushdown Machines", Information and Control , 11 (3): 323–340, doi : 10.1016 / S0019-9958 (67) 90591-8. Responde a una pregunta básica sobre los autómatas de empuje deterministas : es decidible si un autómata de empuje determinista dado acepta un lenguaje regular .
- Lewis II, PM; Stearns, RE (1968), "Transducción dirigida por sintaxis", Journal of the ACM , 15 (3): 465–488, doi : 10.1145 / 321466.321477 , S2CID 16512120. Presenta analizadores LL , que juegan un papel importante en el diseño del compilador .
Referencias
- ^ Lewis, Philip M. "Richard (" Dick ") Edwin Stearns" . AMTuring.ACM.org . Asociación de Maquinaria Informática . Consultado el 10 de marzo de 2019 .
- ^ "Richard E Stearns - ganador del premio AM Turing" . amturing.acm.org . Consultado el 18 de junio de 2020 .
- ^ Stearns, Richard Edwin (1961). Juegos cooperativos para tres personas sin pagos adicionales .
enlaces externos
- Página web oficial
- Richard Edwin Stearns en el servidor de bibliografía DBLP
- Richard Edward Stearns en el Proyecto de genealogía matemática