Оглавление
Декстер Козен
-
Биография и образование
- Декстер Кэмпбелл Козен родился 20 декабря 1951 года.
- Получил степень бакалавра математики в Дартмутском колледже в 1974 году.
- Защитил докторскую диссертацию в Корнеллском университете в 1977 году.
-
Карьера и достижения
- Профессор инженерного дела в Корнеллском университете.
- Известен работами на стыке логики и сложности.
- Один из отцов динамической логики.
- Разработал версию модального μ-исчисления.
- Получил премию Алонзо Черча в 2022 году за работу по алгебре Клини с тестами.
- Автор учебников по теории вычислений, теории автоматов, динамической логике и алгоритмам.
-
Личная жизнь и общественная деятельность
- Был гитаристом, певцом и автором песен в группе “Harmful if Swallowed”.
- Преподаватель-консультант в регбийном клубе Корнелла.
-
Награды и почести
- Премия Кемени в области вычислительной техники (1974).
- Премия корпорации IBM за выдающиеся инновации (1974).
- Стипендиат Фонда Джона Саймона Гуггенхайма (1991).
- Премия Стивена и Марджери Рассел за выдающиеся преподавательские заслуги (2001).
- Стипендиат ACM за вклад в теоретическую информатику (2003).
- Научный сотрудник AAAS (2008).
- Премия LICS Test-of-Time Award (2011).
- Факультет года ACSU (2013).
- Выдающийся профессор в Университете Рэдбуда (2014).
- Научный сотрудник EATCS (2015).
- Премия EATCS за выдающиеся достижения (2016).
- Премия Макдауэлла (2016).
- Стипендиат президента Вайса (2018).
- Премия POPL за выдающуюся работу (2020).
- Премия Алонзо Черча (2022).
- Премия OOPSLA за выдающуюся работу (2023).