Walter John Savitch, né le et mort le , est professeur et chercheur en informatique et informatique théorique. Il est surtout connu pour le théorème de Savitch , en théorie de la complexité qui précise les relations entre les classes en espace utilisant des machines de Turing déterministes et celles utilisant du non-déterminisme. En particulier ce théorème donne l'égalité PSPACE=NPSPACE.
Savitch a obtenu son doctorat (PhD) de mathématiques à l'université de Berkeley en 1969, sous la direction de Stephen CookLa page du Mathematical Genealogy Project. Il est professeur émérite à l'UCSDMention sur la page officielle.
Bibliographie
Notes et références
Liens externes Page officielle à l'UCSD
Catégorie:Personnalité américaine de l'informatique Catégorie:Personnalité en informatique théorique Catégorie:Étudiant de l'université de Californie à Berkeley Catégorie:Naissance en février 1943 Catégorie:Décès en février 2021 Catégorie:Décès à 77 ans