Walter Savitch

Walter John Savitch
Información personal
Nacimiento	21 de febrero de 1943
Fallecimiento	1 de febrero de 2021(77 años)
Nacionalidad	Estadounidense
Educación
Educado en	University of California, Berkeley
Supervisor doctoral	Stephen Cook
Información profesional
Ocupación	Matemático, informático teórico, ingeniero y profesor universitario
Área	Ciencias de la computación
Empleador	Universidad de California en San Diego
Sitio web	www-cse.ucsd.edu/users/savitch/
[editar datos en Wikidata]

Walter John Savitch (21 de febrero de 1943 - 1 de febrero de 2021)^[2]​ es 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. También su trabajo en establecimiento de clases de complejidad ha ayudado a crear el trasfondo sobre 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. Estuvo centrado en la complejidad computacional aplicada a la genética y biología durante más de 10 años.

Además de su trabajo en la ciencia computacional teórica, Savitch escribió una gran variedad de libros 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 aquella época fue profesor en la Universidad de California en San Diego en el departamento de informática.

Referencias

1. Walter Savitch en el Mathematics Genealogy Project.
2. «In Memoriam: Walter Savitch, Professor Emeritus in Computer Science and Engineering». 23 de febrero de 2021. Consultado el 1 de marzo de 2021. 

Enlaces externos

• Richard J. Lipton, Teorema de Savitch . Ofrece un relato histórico de cómo se descubrió el teorema de Savitch.