Walter Savitch

Biographie
Naissance	21 février 1943
Décès	1er février 2021 (à 77 ans)
Nationalité	américaine
Formation	Université de Californie à Berkeley
Activités	Mathématicien, ingénieur, informaticien, professeur d'université
A travaillé pour	Université de Californie à San Diego
Directeur de thèse	Stephen Cook

Walter John Savitch, né le 21 février 1943 et mort le 1^er février 2021^[1], est professeur et chercheur en informatique et informatique théorique. Il est surtout connu pour le théorème de Savitch (Savitch 1970), 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.

Cet article est une ébauche concernant l’informatique théorique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Savitch a obtenu son doctorat (PhD) de mathématiques à l'université de Berkeley en 1969, sous la direction de Stephen Cook^[2]. Il est professeur émérite à l'UCSD^[3].

Bibliographie

(en) Walter John Savitch, « Relationships between nondeterministic and deterministic tape complexities », Journal of Computer and System Sciences, vol. 4, n^o 2,‎ 1970, p. 177-192

Notes et références

↑ (en) « In Memoriam: Walter Savitch, Professor Emeritus in Computer Science and Engineering », sur adminrecords.ucsd.edu (consulté le 26 février 2021)
↑ La page du Mathematical Genealogy Project
↑ Mention sur la page officielle

Liens externes

Page officielle à l'UCSD
Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project

Portail de l'informatique théorique

[1] (en) « In Memoriam: Walter Savitch, Professor Emeritus in Computer Science and Engineering », sur adminrecords.ucsd.edu (consulté le 26 février 2021)

[2] La page du Mathematical Genealogy Project

[3] Mention sur la page officielle

[1]

[2]

[3]