Walter Savitch
http://dbpedia.org/resource/Walter_Savitch an entity of type: Thing
Walter John Savitch (* 21. Februar 1943; † 1. Februar 2021) war Professor für Informatik an der University of California, San Diego.
rdf:langString
Walter John Savitch, né le 21 février 1943 et mort le 1er février 2021, est professeur et chercheur en informatique et informatique théorique. Il est surtout connu pour le théorème de Savitch, en théorie de la complexité qui précise les relations entre les classes en espace utilisant des machines de Turing déterministes et celles utilisant du non-déterminisme. En particulier ce théorème donne l'égalité PSPACE=NPSPACE. Savitch a obtenu son doctorat (PhD) de mathématiques à l'université de Berkeley en 1969, sous la direction de Stephen Cook. Il est professeur émérite à l'UCSD.
rdf:langString
ウォルター・サヴィッチ（英:Walter Savitch）は、計算複雑性理論におけるNL（非決定性対数領域）クラスを生み出したこと、NSPACEとDSPACEの関係を定義したサヴィッチの定理で知られている。その複雑性クラスに関する業績は、非決定性推論や確率的推論の基礎を形成する助けとなった。 理論計算機科学の研究の傍らで、C/C++、Java、Adaといったプログラミング言語の教科書も書いている。また、自然言語処理や計算言語学の分野にも業績を残している。その後、10年以上にわたって遺伝学や生物学へのコンピュータの利用（バイオインフォマティクス）の研究に注力してきた。 サヴィッチは1969年、カリフォルニア大学バークレー校で数学の博士号を取得した。その後すぐにカリフォルニア大学サンディエゴ校（UCSD）の教授となり、現在も同大学計算機科学科の教授である。
rdf:langString
Walter John Savitch (February 21, 1943 – February 1, 2021) was best known for defining 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. Aside from his work in theoretical computer science, Savitch wrote a number of textbooks for learning to program in C/C++, Java, Ada, Pascal and others.
rdf:langString
Walter John Savitch é comumente conhecido por descobrir a classe de complexidade NL (espaço logarítmico não-determinístico), e pelo Teorema de Savitch que define uma relação entre as classes de complexidade NSPACE e DSPACE. O seu trabalho em estabelecer classes de complexidade ajudou a desenvolver o entendimento do não-determinismo e conhecimento probabilístico. Ele também é conhecido pelo criação do livro SavitchIn, um livro-texto para utilização em cursos de Java.
rdf:langString
rdf:langString
Walter Savitch
rdf:langString
Walter Savitch
rdf:langString
ウォルター・サヴィッチ
rdf:langString
Walter Savitch
rdf:langString
Walter Savitch
rdf:langString
Walter John Savitch
rdf:langString
Walter John Savitch
xsd:date
2021-02-01
xsd:date
1943-02-21
xsd:integer
2829740
xsd:integer
1098281561
rdf:langString
Nondeterministic Tape Bounded Turing Machines
xsd:integer
1969
xsd:date
1943-02-21
xsd:date
2021-02-01
rdf:langString
Walter John Savitch (* 21. Februar 1943; † 1. Februar 2021) war Professor für Informatik an der University of California, San Diego.
rdf:langString
Walter John Savitch, né le 21 février 1943 et mort le 1er février 2021, est professeur et chercheur en informatique et informatique théorique. Il est surtout connu pour le théorème de Savitch, en théorie de la complexité qui précise les relations entre les classes en espace utilisant des machines de Turing déterministes et celles utilisant du non-déterminisme. En particulier ce théorème donne l'égalité PSPACE=NPSPACE. Savitch a obtenu son doctorat (PhD) de mathématiques à l'université de Berkeley en 1969, sous la direction de Stephen Cook. Il est professeur émérite à l'UCSD.
rdf:langString
Walter John Savitch (February 21, 1943 – February 1, 2021) was best known for defining 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 also did extensive work in the field of natural language processing and mathematical linguistics. He was focused on computational complexity as it applies to genetics and biology for over 10 years. Aside from his work in theoretical computer science, Savitch wrote a number of textbooks for learning to program in C/C++, Java, Ada, Pascal and others. Savitch received his PhD in mathematics from University of California, Berkeley in 1969 under the supervision of Stephen Cook. Since then he was a professor at University of California, San Diego in the computer science department.
rdf:langString
ウォルター・サヴィッチ（英:Walter Savitch）は、計算複雑性理論におけるNL（非決定性対数領域）クラスを生み出したこと、NSPACEとDSPACEの関係を定義したサヴィッチの定理で知られている。その複雑性クラスに関する業績は、非決定性推論や確率的推論の基礎を形成する助けとなった。 理論計算機科学の研究の傍らで、C/C++、Java、Adaといったプログラミング言語の教科書も書いている。また、自然言語処理や計算言語学の分野にも業績を残している。その後、10年以上にわたって遺伝学や生物学へのコンピュータの利用（バイオインフォマティクス）の研究に注力してきた。 サヴィッチは1969年、カリフォルニア大学バークレー校で数学の博士号を取得した。その後すぐにカリフォルニア大学サンディエゴ校（UCSD）の教授となり、現在も同大学計算機科学科の教授である。
rdf:langString
Walter John Savitch é comumente conhecido por descobrir a classe de complexidade NL (espaço logarítmico não-determinístico), e pelo Teorema de Savitch que define uma relação entre as classes de complexidade NSPACE e DSPACE. O seu trabalho em estabelecer classes de complexidade ajudou a desenvolver o entendimento do não-determinismo e conhecimento probabilístico. Ele também é conhecido pelo criação do livro SavitchIn, um livro-texto para utilização em cursos de Java. Além do seu trabalho em teoria da computação, Savitch escreveu diversos livros textos para cursos de programação em C/C++, Java, Ada, Pascal e outras. Ele tem realizado um trabalho extensivo no campo do processamento de linguagem natural e matemática linguística. Outra área de interesse onde ele tem trabalhado nos últimos 10 anos é a computação aplicada a genética em biologia. Savitch recebeu seu PhD em matemática pela UC Berkeley em 1969. Depois se tornou professor pela UCSD onde ele é até o presente momento professor emérito no departamento de ciências da computação.
xsd:nonNegativeInteger
2835