Walter Savitch
| Naissance | |
|---|---|
| Décès |
(à 77 ans) |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse |
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.
Walter John Savitch, né le et mort le [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.
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 modifier
(en) Walter John Savitch, « Relationships between nondeterministic and deterministic tape complexities », Journal of Computer and System Sciences, vol. 4, no 2, , p. 177-192
Notes et références modifier
- (en) « In Memoriam: Walter Savitch, Professor Emeritus in Computer Science and Engineering », sur adminrecords.ucsd.edu (consulté le )
- La page du Mathematical Genealogy Project
- Mention sur la page officielle
Liens externes modifier
- Page officielle à l'UCSD
- Ressources relatives à la recherche :
