| Уолтер Джон Сэвич | |
|---|---|
| Родившийся | 21 февраля 1943 г. |
| Умер | 1 февраля 2021 г. (77 лет) |
| Альма-матер | Калифорнийский университет в Беркли |
| Известен | Теорема Савича , Н.Л. |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Калифорнийский университет в Сан-Диего |
| Тезис | Недетерминированные машины Тьюринга с лентой [1] (1969) |
| Докторант | Стивен Кук |
| Веб-сайт | www-cse |
Уолтер Джон Сэвич (21 февраля 1943 - 1 февраля 2021) [2] был наиболее известен определением класса сложности NL (недетерминированное логарифмическое пространство) и теоремой Сэвича , которая определяет отношения между классами сложности NSPACE и DSPACE . Его работа по установлению классов сложности помогла создать фон, на котором можно проводить недетерминированные и вероятностные рассуждения.
Он также проделал большую работу в области обработки естественного языка и математической лингвистики . Он был сосредоточен на вычислительной сложности применительно к генетике и биологии более 10 лет.
Помимо работы в области теоретической информатики , Савич написал ряд учебников для обучения программированию на C / C ++ , Java , Ada , Pascal и других языках.
Савич получил докторскую степень в области математики из Калифорнийского университета в Беркли в 1969 году под руководством Стивена Кука . С тех пор он был профессором Калифорнийского университета в Сан-Диего на факультете информатики.
Ссылки [ править ]
- ^ Уолтер Сэвич в проекте математической генеалогии
- ^ «In Memoriam: Уолтер Сэвич, заслуженный профессор компьютерных наук и инженерии» . 23 февраля 2021 . Проверено 1 марта 2021 года .
Внешние ссылки [ править ]
- Ричард Дж. Липтон , Теорема Сэвича . Дает исторический отчет о том, как была открыта теорема Сэвича.
