Walter Savitch

Walter Savitch

Walter Savitch is best known for creating the NL (nondeterministic logarithmic) class of complexity problems, 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.

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. Since then he has been a professor at UCSD where he is currently a professor emeritus in the computer science department.

External links

* [http://www-cse.ucsd.edu/users/savitch/ The UCSD home page of Walter Savitch]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Walter Savitch — (* 21. Februar 1943) ist emeritierter Professor für Informatik an der University of California, San Diego. Savitch erwarb 1969 an der University of California, Berkeley den Ph.D. Grad in Mathematik. Er ist vor allem dafür bekannt, dass er die… …   Deutsch Wikipedia

  • Savitch — Walter Savitch ist emeritierter Professor für Informatik an der University of California, San Diego. Savitch ist vor allem dafür bekannt, dass er die Komplexitätsklasse NL der nichtdeterministisch logarithmischen Probleme definiert hat, und… …   Deutsch Wikipedia

  • Savitch's theorem — In computational complexity theory, Savitch s theorem, proved by Walter Savitch in 1970, states that for any function f ( n ) ≥ log( n ):NSPACE(f(n)) ⊆ DSPACE(f²(n)). In other words, if a nondeterministic Turing machine can solve a problem using… …   Wikipedia

  • Savitch — may mean:People*Jessica Savitch (1947 1983), American journalist *Walter J. Savitch, computer scientist …   Wikipedia

  • Theorem von Savitch — Der Satz von Savitch oder Theorem von Savitch ist ein Satz aus der Komplexitätstheorie, der 1970 von Walter Savitch bewiesen wurde. Er besagt, dass ein von einer nichtdeterministischen Turingmaschine mit einer bestimmten Platzkomplexität lösbares …   Deutsch Wikipedia

  • Satz von Savitch — Der Satz von Savitch oder Theorem von Savitch ist ein Satz aus der Komplexitätstheorie, der 1970 von Walter Savitch bewiesen wurde. Er besagt, dass ein von einer nichtdeterministischen Turingmaschine mit einer bestimmten Platzkomplexität lösbares …   Deutsch Wikipedia

  • Teorema de Savitch — En teoría de la complejidad computacional, el Teorema de Savitch establece que: NSPACE(f(n)) DSPACE(f²(n)) Walter Savitch (1970) Como corolario, se tiene que PSPACE = NPSPACE …   Wikipedia Español

  • Teorema de Savitch — En teoría de la complejidad computacional, el Teorema de Savitch, demostrado por Walter Savitch in 1970, establece que: NSPACE(f(n)) ⊆ DSPACE(f²(n)). Como corolario, se tiene que PSPACE = NPSPACE …   Enciclopedia Universal

  • UCSD — Vorlage:Infobox Hochschule/Professoren fehlt University of California, San Diego Motto Fiat lux (dt. „Es werde Licht“) Gründung 1960 …   Deutsch Wikipedia

  • UC San Diego — Vorlage:Infobox Hochschule/Professoren fehlt University of California, San Diego Motto Fiat lux (dt. „Es werde Licht“) Gründung 1960 …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”