Walter John 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 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

Property Value
dbo:abstract
  • Walter John 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 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 umfassen 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. (de)
  • Walter John 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 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 umfassen 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. (de)
dbo:birthDate
  • 1943-02-21 (xsd:date)
dbo:individualisedGnd
  • 172354358
dbo:lccn
  • n/81/114817
dbo:viafId
  • 85180002
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1834233 (xsd:integer)
dbo:wikiPageRevisionID
  • 144191493 (xsd:integer)
prop-de:kurzbeschreibung
  • US-amerikanischer Informatiker, Professor für Informatik
prop-de:selibr
  • 313077 (xsd:integer)
prop-de:typ
  • p
dc:description
  • US-amerikanischer Informatiker, Professor für Informatik
dct:subject
rdf:type
rdfs:comment
  • Walter John 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 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 (de)
  • Walter John 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 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 (de)
rdfs:label
  • Walter Savitch (de)
  • Walter Savitch (de)
owl:sameAs
prov:wasDerivedFrom
foaf:givenName
  • Walter
foaf:isPrimaryTopicOf
foaf:name
  • Savitch, Walter (de)
  • Walter Savitch
foaf:nick
  • Savitch, Walter J. (de)
  • Savitch, Walter J. (de)
foaf:surname
  • Savitch
is dbo:author of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of