Декстер Козен
Американский учёный-компьютерщик
Декстер Козен
Рожденный20 декабря 1951 г.
Соединенные Штаты
Альма-матерДартмутский колледж (бакалавр, 1974), Корнелльский университет (доктор философии, 1977)
ИзвестныйДинамическая логика (модальная логика) , Теория автоматов , Алгебра Клини с тестами
СупругФрэнсис Козен
Научная карьера
ПоляТеоретическая информатика
УчрежденияКорнельский университет (1985–), Университет Радбауд в Неймегене (2014)
ТезисСложность конечно представленных алгебр  (1977)
научный руководительЮрис Хартманис
Веб-сайтhttps://www.cs.cornell.edu/~kozen/

Декстер Кэмпбелл Козен (родился 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)

Ссылки

  1. ^ "Faculty". Department of Computer Science . Cornell University . Получено 25 июля 2024 г. .
  2. ^ Декстер Козен в проекте «Генеалогия математики»
  3. ^ Козен, Декстер (1976-12-01). Сложность конечно представленных алгебр (Отчет). Корнелльский университет . Получено 2024-07-25 .
  4. ^ ab Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Динамическая логика. Кембридж, Массачусетс: MIT Press. ISBN 978-026227-495-1.
  5. ^ Декстер Козен (1983). «Результаты по пропозициональному μ-исчислению». Теоретическая информатика 27 (3): 333–354.
  6. ^ ab Kozen, Dexter (май 1977). «Алгебра Клини с тестами». ACM Transactions on Programming Languages ​​and Systems . 19 (3): 427–443. doi : 10.1145/256167.256195 . S2CID  6658131.
  7. ^ ab "Предыдущие награды". EACSL . Архивировано из оригинала 2023-09-27 . Получено 2024-07-25 .
  8. ^ Козен, Декстер (2006). Теория вычислений . Лондон: Спрингер. ISBN 978-1-84628-297-3.
  9. ^ Козен, Декстер (1997). Автоматы и вычислимость . Нью-Йорк: Springer-Verlag. ISBN 978-0-387-94907-9.
  10. ^ Козен, Декстер (1991). Проектирование и анализ алгоритмов . Нью-Йорк: Springer-Verlag. ISBN 978-0-387-97687-7.
  11. ^ Дональд, Брюс. "Вредно при проглатывании - MP3". Брюс Рэндалл Дональд . Архивировано из оригинала 24 июля 2024 года . Получено 25 июля 2024 года .
  12. ^ "Cornell Rugby Football Club > Cornell Men Big Red Men > Контакты команды". Архивировано из оригинала 19 апреля 2010 г. Получено 7 октября 2010 г.
  13. ^ abcd "Awards". Cornell Bowers CIS - Computer Science . Архивировано из оригинала 2022-09-20 . Получено 08.09.2022 .
  14. ^ "Декстер К. Козен". Мемориальный фонд Джона Саймона Гуггенхайма . Получено 2022-09-08 .
  15. ^ "Dexter Kozen". Association for Computing Machinery . Архивировано из оригинала 24 сентября 2023 года . Получено 25 июля 2024 года .
  16. ^ "AAAS Fellows" (PDF) . AAAS . Получено 2022-09-08 .
  17. ^ Козен, Декстер (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 .
  18. ^ "Профессор Декстер Козен". ру.нл. ​Проверено 17 марта 2015 г.[ мертвая ссылка ]
  19. ^ "Президентский стипендиат имени Вайса (за вклад в высшее образование)". Корнелл . Получено 2022-09-08 .
  20. ^ "Программа POPL 2020". SIGPLAN . Получено 2022-09-08 .
  21. ^ Смолка, Штеффен; Фостер, Нейт; Хсу, Джастин; Каппе, Тобиас; Козен, Декстер; Сильва, Александра (январь 2020 г.). «Охраняемая алгебра Клини с тестами: проверка неинтерпретируемых программ за почти линейное время». Proc of the ACM on Programming Languages . Vol. 4. IEEE Computer Society . pp. 214–225. arXiv : 1907.05920 . doi : 10.1145/3371129 .
  22. ^ "Awards". SPLASH 2023. Архивировано из оригинала 4 марта 2024. Получено 25 июля 2024 .
  23. ^ Мохан, Аншуман; Лю, Юньхэ; Фостер, Нейт; Каппе, Тобиас; Козен, Декстер (16 октября 2023 г.). «Формальные абстракции для планирования пакетов». Труды ACM по языкам программирования . 7 (OOPSLA2): 1338–1362. arXiv : 2211.11659 . doi : 10.1145/3622845.
  • Домашняя страница Декстера Козена
Взято с "https://en.wikipedia.org/w/index.php?title=Декстер_Козен&oldid=1253623152"