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