Уолтер Сэвич - Walter Savitch
Уолтер Джон Сэвич | |
|---|---|
| Родился | 21 февраля 1943 г. |
| Альма-матер | Калифорнийский университет в Беркли |
| Известен | Теорема савича, NL |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Калифорнийский университет в Сан-Диего |
| Тезис | Недетерминированные машины Тьюринга с лентой[1] (1969) |
| Докторант | Стивен Кук |
| Интернет сайт | www-cse |
Уолтер Джон Сэвич (родился 21 февраля 1943 г.) наиболее известен определением класса сложности NL (недетерминированное логарифмическое пространство), а для Теорема савича, который определяет связь между NSPACE и DSPACE классы сложности. Его работа по созданию классы сложности помог создать фон, на котором можно проводить недетерминированные и вероятностные рассуждения.
Он также проделал большую работу в области обработка естественного языка и математическая лингвистика. Он сосредоточился на вычислительной сложности применительно к генетика и биология более 10 лет.
Помимо его работы в теоретическая информатика, Савич написал ряд учебников для обучения программированию на C / C ++, Ява, Ада, Паскаль и другие.
Савич получил докторскую степень в математика от Калифорнийский университет в Беркли в 1969 г. под руководством Стивен Кук.С тех пор он был профессором в Калифорнийский университет в Сан-Диего где он в настоящее время Заслуженный профессор в отставке на факультете информатики.
использованная литература
внешние ссылки
- Ричард Дж. Липтон, Теорема Савича. Дает исторический отчет о том, как была открыта теорема Савича.
| P ≟ NP | Эта биографическая статья, относящаяся к специалист в области информатики это заглушка. Вы можете помочь Википедии расширяя это. |