Козен, Декстер

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Декстер Козен

Dexter Kozen






Род деятельности
Теоретическая информатика




Супруга
Фрэнсис Козен

Сайт

https://www.cs.cornell.edu/~kozen/

Де́кстер Кэ́мпбелл Ко́зен (англ. Dexter Campbell Kozen; [Нет даты!]) — американский учёный в области теоретической информатики. Известен работами на стыке математической логики и вычислительной сложности, один из создателей динамической логики.

Биография[править]

Козен получил степень бакалавра математики в Дартмутском колледже в 1974 году и степень доктора философии по информатике в 1977 году в Корнеллском университете, где его научным руководителем был Юрис Хартманис (тема диссертации — Complexity of Finitely Presented Algebras)[1]. Является почётным профессором и профессором инженерии имени Джозефа Ньютона Пью-младшего в Корнеллском университете[2].

Козен разработал наиболее используемую сегодня версию модального мю-исчисления[3]. Его работа по алгебре Клини с тестами была отмечена премией Алонзо Чёрча в 2022 году[4]. Написал несколько учебников по теории вычислений, теории автоматов, динамической логике и алгоритмам.

Козен был гитаристом, певцом и автором песен в группе Harmful if Swallowed[5]. Он также занимает должность советника факультета регбийного клуба Корнелла[6].

Награды и почести[править]

  • Премия Джона Г. Кемени в области вычислений, Дартмутский колледж[7] (1974)
  • Награда за выдающиеся инновации, IBM Corporation[7] (1974)
  • Стипендиат Мемориального фонда Джона Саймона Гуггенхайма (1991)
  • Премия Стивена и Марджери Рассел за выдающееся преподавание, Колледж искусств и наук, Корнелл[7] (2001)
  • Член ACM, за вклад в теоретическую информатику[8] (2003)
  • Член AAAS (2008)
  • Премия LICS Test-of-Time за статью «A completeness theorem for Kleene algebras and the algebra of regular events» (2011)
  • Преподаватель года, ACSU (Ассоциация студентов-информатиков Корнелла)[7] (2013)
  • Профессура Radboud Excellence в Университете Неймегена[9] (2014)
  • Член EATCS (2015)
  • Награда за выдающиеся достижения EATCS (2016)
  • Премия Макдауэлла, за новаторский вклад в темы от вычислительной сложности до анализа алгебраических вычислений, логики программ и верификации (2016)
  • Президентский стипендиат Вайсса[10] (2018)
  • Награда за выдающуюся статью POPL[11] за статью «Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time»[12] (2020)
  • Премия Алонзо Чёрча[4], за фундаментальную работу по развитию теории и приложений алгебры Клини с тестами, эквациональной системы для рассуждений об итеративных программах, опубликованную в статье «Kleene algebra with tests» (2022)
  • Награда за выдающуюся статью OOPSLA[13] за статью «Formal abstractions for packet scheduling» (2023)

Примечания[править]

  1. ↑ Козен, Декстерангл. в проекте «Математическая генеалогия»
  2. ↑ Faculty. Cornell University. Проверено 25 августа 2026.
  3. ↑ Dexter Kozen (1983). "Results on the Propositional μ-Calculus". Theoretical Computer Science 27 (3): 333–354.
  4. ↑ 4,0 4,1 Previous Awards. EACSL. Архивировано из первоисточника 27 сентября 2023. Проверено 25 августа 2026.
  5. ↑ Harmful if Swallowed - MP3's. Bruce Randall Donald. Архивировано из первоисточника 24 июля 2024. Проверено 25 августа 2026.
  6. ↑ Cornell Rugby Football Club > Cornell Men Big Red Men > Team Contacts. Архивировано из первоисточника 19 апреля 2010. Проверено 25 августа 2026.
  7. ↑ 7,0 7,1 7,2 7,3 Awards. Cornell Bowers CIS - Computer Science. Архивировано из первоисточника 20 сентября 2022. Проверено 25 августа 2026.
  8. ↑ Dexter Kozen. Ассоциация вычислительной техники. Архивировано из первоисточника 24 сентября 2023. Проверено 25 августа 2026.
  9. ↑ Professor Dexter Kozen. ru.nl. Проверено 25 августа 2026.[недоступная ссылка (April 2016)]
  10. ↑ Weiss Presidential Fellow (for contributions to undergraduate education). Cornell. Проверено 25 августа 2026.
  11. ↑ POPL 2020 Program. SIGPLAN. Проверено 25 августа 2026.
  12. ↑ (January 2020) "Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time". 4: 214–225, IEEE Computer Society. DOI:10.1145/3371129. 
  13. ↑ Awards. SPLASH 2023. Архивировано из первоисточника 4 марта 2024. Проверено 25 августа 2026.

Ссылки[править]

Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Козен, Декстер», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Козен,_Декстер

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Козен,_Декстер&oldid=2730390