Walter Savitch

Walter John Savitch (1943–2021) was an American computer scientist and professor emeritus at the University of California, San Diego. He is best known for Savitch's theorem and for defining the complexity class NL in theoretical computer science.