Ричард Э. Стернс
Ричард Эдвин Стернс | |
|---|---|
 Ричард Стернс в 2009 году | |
| Рожденный | 5 июля 1936 г. |
| Альма-матер | Карлтон-колледж (бакалавр) Принстонский университет (доктор философии) |
| Награды | ACM Премия Тьюринга (1993) Премия Фредерика В. Ланчестера (1995) |
| Научная карьера | |
| Учреждения | Университет в Олбани |
| Докторантура | Гарольд В. Кун |
Ричард Эдвин Стернс (родился 5 июля 1936 года) — американский ученый-компьютерщик , который вместе с Юрисом Хартманисом получил в 1993 году ACM премию Тьюринга «в знак признания их основополагающей статьи, заложившей основы теории сложности вычислений ». [1] В 1994 году он был назначен членом Ассоциации вычислительной техники .
Стернс получил степень бакалавра математики в Карлтон-колледже в 1958 году. [2] Затем он получил докторскую степень. получил степень доктора математики в Принстонском университете в 1961 году после защиты докторской диссертации на тему « для трех человек Кооперативные игры без побочных выплат » под руководством Гарольда В. Куна . [3] Стернс в настоящее время является заслуженным профессором компьютерных наук в Университете Олбани , который является частью Государственного университета Нью-Йорка . [4]
Библиография
[ редактировать ]- Стернс, RE; Хартманис, Дж. (март 1963 г.), «Модификации регулярных выражений, сохраняющие регулярность», Information and Control , 6 (1): 55–69, doi : 10.1016/S0019-9958(63)90110-4 . Первое систематическое исследование языковых операций, сохраняющих регулярные языки .
- Хартманис, Дж .; Стернс, Р.Э. (май 1965 г.), «О вычислительной сложности алгоритмов», Transactions of the American Mathematical Society , 117 , American Mathematical Society: 285–306, doi : 10.2307/1994208 , JSTOR 1994208 , MR 0170805 . Содержит теорему об иерархии времени , одну из теорем, которая сформировала область теории сложности вычислений .
- Stearns, RE (сентябрь 1967 г.), «Тест на регулярность для толкающих машин», Information and Control , 11 (3): 323–340, doi : 10.1016/S0019-9958(67)90591-8 . Отвечает на основной вопрос о детерминированных автоматах с выталкиванием : можно решить, ли данный детерминированный автомат с выталкиванием принимает регулярный язык .
- Льюис II, премьер-министр; Стернс, Р.Э. (1968), «Синтаксиально-направленная трансдукция», Журнал ACM , 15 (3): 465–488, doi : 10.1145/321466.321477 , S2CID 16512120 . Представляет анализаторы LL , которые играют важную роль в разработке компилятора .
Ссылки
[ редактировать ]- ^ Льюис, Филип М. «Ричард («Дик») Эдвин Стернс» . AMTuring.ACM.org . Ассоциация вычислительной техники . Проверено 10 марта 2019 г.
- ^ «Ричард Э. Стернс - лауреат премии А. М. Тьюринга» . amturing.acm.org . Проверено 18 июня 2020 г.
- ^ Стернс, Ричард Эдвин (1961). Кооперативная игра на троих без дополнительных платежей .
- ^ «Ричард Э. Стернс» . IEEE Эксплор . Проверено 15 февраля 2024 г.
Внешние ссылки
[ редактировать ]- Официальный сайт
- Ричард Эдвин Стернс на DBLP библиографическом сервере
- Ричард Эдвард Стернс в проекте «Математическая генеалогия»
