Walter Savitch
aus Wikipedia, der freien Enzyklopädie
Walter Savitch bekam 1969 den Titel PhD (Doktor der Wissenschaften) in Mathematik von der UC Berkeley verliehen. Seit dem ist er Hochschullehrer an der University of California, San Diego (UCSD), wo er zur Zeit als emeritierter Professor des Fachbereichs Informatik noch weiter unterrichtet.
Savitch ist vor allem dafür bekannt dass er die Komplexitätsklasse NL der nichtdeterministisch logarithmischen Probleme definiert hat, und insbesondere auch für den Satz von Savitch, welcher die Beziehung der Komplexitätsklassen NSPACE und DSPACE beschreibt. Die Komplexitätsklasse NL war die erste formal definierte NLOGSPACE vollständige Sprache. Diese fundamentale Erkenntnis führte zu ausgedehnteren Forschungen der vollständigen Probleme in Bereich der Komplexitätstheorie. Er hat auch zu den Theorien der nichtdeterministischen und parallelen Berechnungs Modelle wichtige Arbeiten beigetragen.
Seine Forschungsbereiche umfassen die Komplexitätstheorie, die formalen Sprache und die Verarbeitung Natürlicher Sprachen / berechenbaren Sprachen. Neben seinen Arbeiten in der theoretischen Informatik, hat Savitch außerdem noch einige Fachbücher zum erlernen von C/C++, Java, Ada und anderen Programmiersprachen geschrieben.
