Walter Savitch
Walter John Savitch (February 21, 1943 – February 1, 2021) was 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...