Козен, Декстер
Де́кстер Кэ́мпбелл Ко́зен (англ. Dexter Campbell Kozen; род. 20 декабря 1951[1]) — американский учёный в области теоретической информатики. Известен работами на стыке математической логики и вычислительной сложности, один из создателей динамической логики.
Общие сведения
| Декстер Козен | |
|---|---|
| Dexter Kozen | |
| Дата рождения | 20 декабря 1951[1] (74 года) |
| Страна | |
| Образование | |
| Род деятельности | Теоретическая информатика |
| Супруга | Фрэнсис Козен |
| Награды и премии | |
| Сайт | cs.cornell.edu/~kozen/ |
Биография
Козен получил степень бакалавра математики в Дартмутском колледже в 1974 году и степень доктора философии по информатике в 1977 году в Корнеллском университете, где его научным руководителем был Юрис Хартманис (тема диссертации — Complexity of Finitely Presented Algebras)[2]. Является почётным профессором и профессором инженерии имени Джозефа Ньютона Пью-младшего в Корнеллском университете[3].
Козен разработал наиболее используемую сегодня версию модального мю-исчисления[4]. Его работа по алгебре Клини с тестами была отмечена премией Алонзо Чёрча в 2022 году[5]. Написал несколько учебников по теории вычислений, теории автоматов, динамической логике и алгоритмам.
Козен был гитаристом, певцом и автором песен в группе Harmful if Swallowed[6]. Он также занимает должность советника факультета регбийного клуба Корнелла[7].
Награды и почести
- Премия Джона Г. Кемени в области вычислений, Дартмутский колледж[8] (1974)
- Награда за выдающиеся инновации, IBM Corporation[8] (1974)
- Стипендиат Мемориального фонда Джона Саймона Гуггенхайма (1991)
- Премия Стивена и Марджери Рассел за выдающееся преподавание, Колледж искусств и наук, Корнелл[8] (2001)
- Член ACM, за вклад в теоретическую информатику[9] (2003)
- Член AAAS (2008)
- Премия LICS Test-of-Time за статью «A completeness theorem for Kleene algebras and the algebra of regular events» (2011)
- Преподаватель года, ACSU (Ассоциация студентов-информатиков Корнелла)[8] (2013)
- Профессура Radboud Excellence в Университете Неймегена[10] (2014)
- Член EATCS (2015)
- Награда за выдающиеся достижения EATCS (2016)
- Премия Макдауэлла, за новаторский вклад в темы от вычислительной сложности до анализа алгебраических вычислений, логики программ и верификации (2016)
- Президентский стипендиат Вайсса[11] (2018)
- Награда за выдающуюся статью POPL[12] за статью «Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time»[13] (2020)
- Премия Алонзо Чёрча[5], за фундаментальную работу по развитию теории и приложений алгебры Клини с тестами, эквациональной системы для рассуждений об итеративных программах, опубликованную в статье «Kleene algebra with tests» (2022)
- Награда за выдающуюся статью OOPSLA[14] за статью «Formal abstractions for packet scheduling» (2023)