Walter Savitch - Walter Savitch
Walter John Savitch | |
|---|---|
| Nació | 21 de febrero de 1943 |
| Fallecido | 1 de febrero de 2021 (77 años) |
| alma mater | Universidad de California, Berkeley |
| Conocido por | Teorema de Savitch , NL |
| Carrera científica | |
| Los campos | Ciencias de la Computación |
| Instituciones | Universidad de California, San Diego |
| Tesis | Máquinas de Turing delimitadas por cinta no determinista (1969) |
| Asesor de doctorado | Stephen Cook |
| Sitio web | www-cse |
Walter John Savitch (21 de febrero de 1943 - 1 de febrero de 2021) fue mejor conocido por definir la clase de complejidad NL (espacio logarítmico no determinista) y por el teorema de Savitch , que define una relación entre las clases de complejidad NSPACE y DSPACE . Su trabajo en el establecimiento de clases de complejidad ha ayudado a crear el trasfondo contra el cual se puede realizar el razonamiento probabilístico y no determinista.
También realizó un extenso trabajo en el campo del procesamiento del lenguaje natural y la lingüística matemática . Se centró en la complejidad computacional que se aplica a la genética y la biología durante más de 10 años.
Aparte de su trabajo en informática teórica , Savitch escribió varios libros de texto para aprender a programar en C / C ++ , Java , Ada , Pascal y otros.
Savitch recibió su doctorado en matemáticas de la Universidad de California, Berkeley en 1969 bajo la supervisión de Stephen Cook . Desde entonces fue profesor en la Universidad de California, San Diego en el departamento de informática.
Referencias
- ^ Walter Savitch en el Proyecto de genealogía matemática
- ^ "In Memoriam: Walter Savitch, profesor emérito de informática e ingeniería" . 23 de febrero de 2021 . Consultado el 1 de marzo de 2021 .
enlaces externos
- Richard J. Lipton , Teorema de Savitch . Da un relato histórico sobre cómo se descubrió el teorema de Savitch.