Walter Savitch
personne
informaticien américain
Walter John Savitch, né le 21 février 1943 et mort le 1er février 2021, 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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Walter_Savitch
Lien Wikidata : https://www.wikidata.org/wiki/Q92656
Propriétés
- date_deces
- +2021-02-0
- date_naissance
- +1943-02-2
- genre_personne
- masculin
- nationalite
- États-Unis
- occupation
- professeur d'université
- p106_all
- professeur d'université, mathématicien ou mathématicienne, ingénieur, informaticien ou informaticienne