Walter John Savitch (February 21, 1943 – February 1, 2021) is best known for defining the complexity class NL (nondeterministic logarithmic space), and for Savitch's theorem, which defines a relationship between the NSPACE and DSPACE complexity classes. His work in establishing complexity classes has helped to create the background against which non-deterministic and probabilistic reasoning can be performed.
Born |
21 February 1943
|
Died |
1 February 2021 (aged 77)
|
Zodiac | Pisces |
Tags | Add tag |