Ричард Э. Стернс - Richard E. Stearns

Ричард Эдвин Стернс
Дик Стернс.jpg
Ричард Стернс в 2009 году
Родившийся (1936-07-05) 5 июля 1936 г. (возраст 84 года)
Колдуэлл, Нью-Джерси
Альма-матерКарлтонский колледж (Б.А.)
Университет Принстона (Кандидат наук.)
НаградыACM Премия Тьюринга (1993)
Премия Фредерика В. Ланчестера (1995)
Научная карьера
УчрежденияУниверситет Олбани
ДокторантГарольд В. Кун
ДокторантыМадхав В. Марат (совместно с профессором Гарри Б. Хантом III), Том О'Коннелл

Ричард Эдвин Стернс (родился 5 июля 1936 г.) специалист в области информатики кто с Юрис Хартманис, получил 1993 ACM Премия Тьюринга "в знак признания их основополагающей работы, заложившей основы для теория сложности вычислений ".[1] В 1994 году он был введен в должность Член Ассоциации вычислительной техники.

Стернс получил степень бакалавра искусств. в математика из Карлтонский колледж в 1958 г.[2] Затем он получил Кандидат наук. по математике из Университет Принстона в 1961 г. после защиты докторской диссертации на тему «Три человека. кооперативные игры без дополнительных выплат », под наблюдением Гарольд В. Кун.[3] Стернс сейчас Заслуженный профессор Заслуженный деятель компьютерных наук Университет Олбани, который является частью Государственный университет Нью-Йорка.

Библиография

  • Stearns, R.E .; Хартманис, Дж. (Март 1963 г.), "Сохраняющие регулярность модификации регулярных выражений", Информация и контроль, 6 (1): 55–69, Дои:10.1016 / S0019-9958 (63) 90110-4. Первое систематическое исследование языковых операций, сохраняющих обычные языки.
  • Хартманис, Дж.; Стернс, Р. Э. (май 1965 г.), "О вычислительной сложности алгоритмов", Труды Американского математического общества, Американское математическое общество, 117: 285–306, Дои:10.2307/1994208, JSTOR  1994208, МИСТЕР  0170805. Содержит теорема об иерархии времени, одна из теорем, сформировавших поле теория сложности вычислений.
  • Стернс, Р. (Сентябрь 1967 г.), "Проверка на правильность работы выталкивающих машин", Информация и контроль, 11 (3): 323–340, Дои:10.1016 / S0019-9958 (67) 90591-8. Отвечает на основной вопрос о детерминированные автоматы выталкивания: разрешимо ли данное детерминированный автомат выталкивания принимает обычный язык.
  • Льюис II, П.М.; Стернс, Р. (1968), "Синтаксически-управляемое преобразование", Журнал ACM, 15 (3): 465–488, Дои:10.1145/321466.321477, S2CID  16512120. Представляет LL парсеры, которые играют важную роль в дизайн компилятора.

Рекомендации

  1. ^ Льюис, Филип М. «Ричард (« Дик ») Эдвин Стернс». AMTuring.ACM.org. Ассоциация вычислительной техники. Получено 10 марта 2019.
  2. ^ "Ричард Стернс - лауреат премии А.М. Тьюринга". amturing.acm.org. Получено 2020-06-18.
  3. ^ Стернс, Ричард Эдвин (1961). Кооперативные игры на троих без дополнительных выплат.

внешняя ссылка