Walter Savitch
Walter John Savitch | |
---|---|
Born | February 21, 1943 |
Died | February 1, 2021 | (aged 77)
Alma mater | University of California, Berkeley |
Known for | Savitch's theorem, NL |
Scientific career | |
Fields | Computer science |
Institutions | University of California, San Diego |
Thesis | Nondeterministic Tape Bounded Turing Machines[1] (1969) |
Doctoral advisor | Stephen Cook |
Website | www-cse |
Walter John Savitch (February 21, 1943 – February 1, 2021)[2] 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 classes. His work in establishing complexity classes has helped to create the background against which non-deterministic and probabilistic reasoning can be performed.
He also did extensive work in the field of natural language processing and mathematical linguistics. He was focused on computational complexity as it applies to genetics and biology for over 10 years.
Aside from his work in theoretical computer science, Savitch wrote a number of textbooks for learning to program in C/C++, Java, Ada, Pascal and others.
Savitch received his PhD in mathematics from University of California, Berkeley in 1969 under the supervision of Stephen Cook. Since then he was a professor at University of California, San Diego in the computer science department.
References
- ^ Walter Savitch at the Mathematics Genealogy Project
- ^ "In Memoriam: Walter Savitch, Professor Emeritus in Computer Science and Engineering". February 23, 2021. Retrieved March 1, 2021.
External links
- Richard J. Lipton, Savitch’s Theorem. Gives a historical account on how Savitch's Theorem was discovered.
- Articles with short description
- Short description is different from Wikidata
- Articles with hCards
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BIBSYS identifiers
- Articles with BNE identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with CANTICN identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with Libris identifiers
- Articles with LNB identifiers
- Articles with NKC identifiers
- Articles with NLG identifiers
- Articles with NLK identifiers
- Articles with NTA identifiers
- Articles with PLWABN identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with DTBIO identifiers
- Articles with SNAC-ID identifiers
- Articles with SUDOC identifiers
- American computer scientists
- University of California, Berkeley alumni
- University of California, San Diego faculty
- 1943 births
- 2021 deaths
- Computational linguistics researchers
- All stub articles
- Computer scientist stubs