Войти
| Уолтер Джон Сэвич | |
|---|---|
| Родился | (1943-02-21) 21 февраля 1943 г. |
| Alma mater | Калифорнийский университет в Беркли |
| Известен | теоремой Сэвича, NL |
| Научная карьера | |
| Филдс | Информатика |
| Учреждения | Калифорнийский университет в Сан-Диего |
| Диссертация | Машины Тьюринга с недетерминированной лентой (1969) |
| Консультант | Стивен Кук |
| Веб-сайт | www-cse.ucsd.edu / users / savitch / |
Уолтер Джон Сэвич (родился 21 февраля 1943 г.) наиболее известен тем, что определил класс сложности NL (недетерминированное логарифмическое пространство), а также теоремой Сэвича, который определяет связь между классами сложности NSPACE и DSPACE. Его работа по установлению классов сложности помогла создать фон, на котором можно проводить недетерминированные и вероятностные рассуждения.
Он также проделал обширную работу в области обработки естественного языка и математической лингвистики. Он был сосредоточен на вычислительной сложности применительно к генетике и биологии более 10 лет.
Помимо своей работы в теоретической информатике, Савич написал ряд учебников для обучения программированию на C / C ++, Java, Ада, Паскаль и другие.
Сэвич получил докторскую степень по математике в Калифорнийском университете в Беркли в 1969 году под руководством Стивена Кука. С тех пор он был профессором Калифорнийского университета в Сан-Диего, где в настоящее время является почетным профессором факультета компьютерных наук.
