Американский учёный-компьютерщик
Декстер Кэмпбелл Козен (родился 20 декабря 1951 года) — американский учёный- теоретик в области информатики . Он является почётным профессором и профессором инженерии имени Джозефа Ньютона Пью-младшего в Корнеллском университете . [1]
Карьера
Козен получил степень бакалавра по математике в Дартмутском колледже в 1974 году и степень доктора философии по информатике в 1977 году в Корнеллском университете, где его научным руководителем по диссертации «Сложность конечно представленных алгебр» был Юрис Хартманис . [2] [3]
Он известен своей работой на стыке логики и сложности . Он является одним из отцов динамической логики [4] и разработал версию модального μ-исчисления, наиболее используемую сегодня. [5] Его работа по алгебре Клини с тестами [6] была отмечена премией Алонзо Чёрча в 2022 году. [7] Кроме того, он написал несколько учебников по теории вычислений , [8] теории автоматов , [9] динамической логике , [4] и алгоритмам . [10]
Козен был гитаристом, певцом и автором песен в группе «Harmful if Swallowed». [11] Он также занимает должность научного руководителя факультета регбийного клуба Корнелла. [12]
Награды и почести
- Премия Джона Г. Кемени в области вычислительной техники, Дартмутский колледж [13] (1974)
- Премия за выдающиеся инновации, корпорация IBM [13] (1974)
- Член Фонда Джона Саймона Гуггенхайма [14] (1991)
- Премия Стивена и Марджери Рассел за выдающиеся достижения в преподавании, Колледж искусств и наук, Корнелл [13] (2001)
- Член ACM , за вклад в теоретическую информатику [15] (2003)
- Член Американской ассоциации специалистов по акушерству и гинекологии [16] (2008)
- Премия LICS Test-of-Time Award 2001 года за статью «Теорема полноты для алгебр Клини и алгебры регулярных событий» [17] (2011)
- Факультет года, ACSU (Ассоциация студентов факультета компьютерных наук в Корнелле) [13] (2013)
- Профессор Radboud Excellence в Университете Радбауд в Неймегене [18] (2014 г.)
- Член EATCS (2015)
- Премия EATCS за выдающиеся достижения (2016)
- Премия Макдауэлла за новаторский вклад в области вычислительной сложности, анализа алгебраических вычислений, логики программ и верификации (2016)
- Президентский стипендиат Вайса [19] (2018)
- Премия POPL Distinguished Paper Award [20] за статью «Защищенная алгебра Клини с тестами: проверка неинтерпретируемых программ за почти линейное время» [21] (2020)
- Премия Алонзо Чёрча [7] за фундаментальную работу по разработке теории и приложений алгебры Клини с тестами, эквациональной системы для рассуждений об итеративных программах, опубликованную в статье «Алгебра Клини с тестами» [6] (2022)
- Премия OOPSLA Distinguished Paper Award [22] за статью «Формальные абстракции для планирования пакетов» [23] (2023)
Ссылки
- ^ "Faculty". Department of Computer Science . Cornell University . Получено 25 июля 2024 г. .
- ^ Декстер Козен в проекте «Генеалогия математики»
- ^ Козен, Декстер (1976-12-01). Сложность конечно представленных алгебр (Отчет). Корнелльский университет . Получено 2024-07-25 .
- ^ ab Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Динамическая логика. Кембридж, Массачусетс: MIT Press. ISBN 978-026227-495-1.
- ^ Декстер Козен (1983). «Результаты по пропозициональному μ-исчислению». Теоретическая информатика 27 (3): 333–354.
- ^ ab Kozen, Dexter (май 1977). «Алгебра Клини с тестами». ACM Transactions on Programming Languages and Systems . 19 (3): 427–443. doi : 10.1145/256167.256195 . S2CID 6658131.
- ^ ab "Предыдущие награды". EACSL . Архивировано из оригинала 2023-09-27 . Получено 2024-07-25 .
- ^ Козен, Декстер (2006). Теория вычислений . Лондон: Спрингер. ISBN 978-1-84628-297-3.
- ^ Козен, Декстер (1997). Автоматы и вычислимость . Нью-Йорк: Springer-Verlag. ISBN 978-0-387-94907-9.
- ^ Козен, Декстер (1991). Проектирование и анализ алгоритмов . Нью-Йорк: Springer-Verlag. ISBN 978-0-387-97687-7.
- ^ Дональд, Брюс. "Вредно при проглатывании - MP3". Брюс Рэндалл Дональд . Архивировано из оригинала 24 июля 2024 года . Получено 25 июля 2024 года .
- ^ "Cornell Rugby Football Club > Cornell Men Big Red Men > Контакты команды". Архивировано из оригинала 19 апреля 2010 г. Получено 7 октября 2010 г.
- ^ abcd "Awards". Cornell Bowers CIS - Computer Science . Архивировано из оригинала 2022-09-20 . Получено 08.09.2022 .
- ^ "Декстер К. Козен". Мемориальный фонд Джона Саймона Гуггенхайма . Получено 2022-09-08 .
- ^ "Dexter Kozen". Association for Computing Machinery . Архивировано из оригинала 24 сентября 2023 года . Получено 25 июля 2024 года .
- ^ "AAAS Fellows" (PDF) . AAAS . Получено 2022-09-08 .
- ^ Козен, Декстер (1991). «Теорема полноты для алгебр Клини и алгебры регулярных событий». Proc. 1991 Sixth Annual IEEE Symp. on Logic in Computer Science . Амстердам, Нидерланды: IEEE Computer Society . стр. 214–225. doi :10.1109/LICS.1991.151646. hdl : 1813/6963 .
- ^ "Профессор Декстер Козен". ру.нл. Проверено 17 марта 2015 г.[ мертвая ссылка ]
- ^ "Президентский стипендиат имени Вайса (за вклад в высшее образование)". Корнелл . Получено 2022-09-08 .
- ^ "Программа POPL 2020". SIGPLAN . Получено 2022-09-08 .
- ^ Смолка, Штеффен; Фостер, Нейт; Хсу, Джастин; Каппе, Тобиас; Козен, Декстер; Сильва, Александра (январь 2020 г.). «Охраняемая алгебра Клини с тестами: проверка неинтерпретируемых программ за почти линейное время». Proc of the ACM on Programming Languages . Vol. 4. IEEE Computer Society . pp. 214–225. arXiv : 1907.05920 . doi : 10.1145/3371129 .
- ^ "Awards". SPLASH 2023. Архивировано из оригинала 4 марта 2024. Получено 25 июля 2024 .
- ^ Мохан, Аншуман; Лю, Юньхэ; Фостер, Нейт; Каппе, Тобиас; Козен, Декстер (16 октября 2023 г.). «Формальные абстракции для планирования пакетов». Труды ACM по языкам программирования . 7 (OOPSLA2): 1338–1362. arXiv : 2211.11659 . doi : 10.1145/3622845.
Внешние ссылки
- Домашняя страница Декстера Козена
