Walter Savitch
Este artigo não cita fontes confiáveis. (Agosto de 2021) |
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.
Ligações externas
editar- The UCSD home page of Walter Savitch
- Richard J. Lipton, Savitch’s Theorem. Gives a historical account on how Savitch's Theorem was discovered.
- Walter Savitch (em inglês) no Mathematics Genealogy Project