Walter Savitch

Walter John Savitch (* 21. Februar 1943; † 1. Februar 2021[1]) war Professor für Informatik an der University of California, San Diego.

Leben

Savitch erwarb 1969 an der University of California, Berkeley den Ph.D.-Grad in Mathematik. Er war 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 im Bereich der Komplexitätstheorie. Er hat auch zu den Theorien der nichtdeterministischen und parallelen Berechnungsmodelle wichtige Arbeiten beigetragen.

Seine Forschungsbereiche umfassten die Komplexitätstheorie, die formalen Sprachen und die Verarbeitung Natürlicher Sprachen / berechenbarer 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.

Weblinks

Homepage von Walter Savitch an der UCSD

Einzelnachweise

In Memoriam: Walter Savitch, Professor Emeritus in Computer Science and Engineering. In: ucsd.edu. 23. Februar 2021, abgerufen am 28. Februar 2021 (englisch).

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.

[1] In Memoriam: Walter Savitch, Professor Emeritus in Computer Science and Engineering. In: ucsd.edu. 23. Februar 2021, abgerufen am 28. Februar 2021 (englisch).