Aniversário | 21 de fevereiro de 1943 |
---|---|
Morte | 1 st de Fevereiro de 2021 (em 77) |
Nacionalidade | americano |
Treinamento | Universidade da Califórnia em Berkeley |
Atividades | Matemático , cientista da computação , engenheiro , professor universitário |
Trabalhou para | Universidade da Califórnia em San Diego |
---|---|
Campo | Ciência da Computação |
Supervisor | Stephen Cook |
Walter John Savitch , nascido em21 de fevereiro de 1943 e morto o 1 st de Fevereiro de 2021, é professor e pesquisador em ciência da computação e ciência da computação teórica . Ele é mais conhecido pelo teorema de Savitch ( Savitch 1970 ), na teoria da complexidade que especifica as relações entre as classes no espaço usando máquinas de Turing determinísticas e aquelas usando não determinismo . Em particular, este teorema fornece a igualdade PSPACE = NPSPACE .
Savitch recebeu seu doutorado (PhD) em matemática pela Berkeley University em 1969, sob a supervisão de Stephen Cook . É professor emérito da UCSD .
(pt) Walter John Savitch , " Relações entre complexidades de fita não determinísticas e determinísticas " , Journal of Computer and System Sciences , vol. 4, n o 21970, p. 177-192