Walter Savitch

From Wikipedia, the free encyclopedia

Walter John Savitch (born February 21, 1943) is best known for discovering 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 is also known for his creation of SavitchIn, a text reading class in the Java language.

Aside from his work in theoretical computer science, Savitch has written a number of textbooks for learning to program in C/C++, Java, Ada, Pascal and others. He has done extensive work in the field of natural language processing and mathematical linguistics. He has been focused on computational computing as it applies to genetics and biology for over 10 years.

Savitch received his PhD in mathematics from UC Berkeley in 1969 under the supervision of Stephen Cook. Since then he has been a professor at UCSD where he is currently a professor emeritus in the computer science department.

External links

The UCSD home page of Walter Savitch
Richard J. Lipton, Savitch’s Theorem. Gives a historical account on how Savitch's Theorem was discovered.
Walter Savitch at the Mathematics Genealogy Project

Persondata
Name	Savitch, Walter
Alternative names
Short description	American computer scientist
Date of birth	February 21, 1943
Place of birth
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.