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

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

Ричард Эдвин Стернс (родился 5 июля 1936 г.) - выдающийся ученый-компьютерщик, который вместе с Юрисом Хартманисом получил премию ACM Turing в 1993 г. «в знак признания их основополагающей статьи, заложившей основы теории сложности вычислений ». В 1994 году он был принят в члены Ассоциации вычислительной техники .

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

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

  • Stearns, RE; Хартманис, J. (март 1963), "Регулярность сохраняющих модификации регулярных выражений", информация и управление , 6 (1): 55-69, DOI : 10.1016 / S0019-9958 (63) 90110-4. Первое систематическое исследование языковых операций, сохраняющих обычные языки .
  • Hartmanis, J .; Stearns, RE (май 1965 г.), "О вычислительной сложности алгоритмов", Труды Американского математического общества , Американского математического общества, 117 : 285-306, DOI : 10,2307 / 1994208 , JSTOR  1994208 , MR  0170805. Содержит теорему о временной иерархии , одну из теорем, которые сформировали область теории сложности вычислений .
  • Stearns, RE (сентябрь 1967), "Регулярность испытаний для Pushdown машин", информации и управления , 11 (3): 323-340, DOI : 10.1016 / S0019-9958 (67) 90591-8. Ответы на основных вопросов о детерминированных магазинных автоматах : она разрешима ли данный детерминированный магазинный автомат принимает регулярный язык .
  • Льюис II, премьер-министр; Stearns, RE (1968), "Синтаксис-Directed трансдукция", Журнал ACM , 15 (3): 465-488, DOI : 10,1145 / 321466,321477 , S2CID  16512120. Представлены парсеры LL , которые играют важную роль в разработке компилятора .

Ссылки

внешние ссылки