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

Декстер Кэмпбелл Козен (родился 20 декабря 1951 года) — американский учёный-теоретик-компьютерщик . Это Джозеф Ньютон Пью-младший, профессор инженерных наук Корнелльского университета .

Карьера [ править ]

Козен получил степень бакалавра в Дартмутском колледже в 1974 году и степень доктора компьютерных наук в 1977 году в Корнелльском университете, где его консультировал Юрис Хартманис . ^[1]

Он является членом Ассоциации вычислительной техники , ^[2] является стипендиатом Гуггенхайма и получил награду за выдающиеся инновации от корпорации IBM. Он также был назван факультетом года Ассоциацией студентов компьютерных наук Корнелла.

Козен был одним из первых профессоров, удостоенных звания профессора в рамках инициативы Radboud Excellence Initiative в Университете Радбауд в Неймегене в Нидерландах . ^[3]

Он известен своими работами на стыке логики и сложности . Он один из отцов динамической логики. ^[4] и разработал наиболее используемую сегодня версию модального μ-исчисления . ^[5] Более того, он написал несколько учебников по теории вычислений . ^[6] теория автоматов , динамическая логика и алгоритмы .

Козен был гитаристом, певцом и автором песен в группе «Harmful if Swallowed». Он также занимает должность консультанта факультета регби-футбольного клуба Корнелла. ^[7] и играет за команду по регби Cortland Homer Thundering Herd. ^{[ нужна ссылка ]}

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

Премия Джона Дж. Кемени в области вычислительной техники, Дартмутский колледж)] ^[8] (1974)
Премия за выдающиеся инновации, корпорация IBM) ^[8] (1974)
Сотрудник Фонда Джона Саймона Гуггенхайма ^[9] (1991)
Премия Нагроде Министерства образования Польши, ^[8] для бумаги ^[10] (1993)
Премия Стивена и Марджери Рассел за выдающиеся педагогические способности, Колледж искусств и наук, Корнелл ^[8] (2001)
Премия Нагроде Министерства образования Польши, ^[8] для бумаги ^[11] (1993)
Сотрудник ACM за вклад в теоретическую информатику (2003 г.)
Сотрудник AAAS ^[12] (2008)
Премия LICS «Испытание временем» 2001 года за статью ^[13] (2011)
Сотрудник EATCS (2016 г.)
Премия Макдауэлла за новаторский вклад в самые разные темы: от сложности вычислений до анализа алгебраических вычислений, логики программ и верификации (2016).
Президентский научный сотрудник Вайса ^[14] (2018)
Премия POPL за выдающуюся работу ^[15] за статью « Защитная алгебра Клини с тестами: проверка неинтерпретируемых программ за почти линейное время» ^[16] (2020)
Премия Алонсо Чёрча, ^[17] за фундаментальную работу по развитию теории и приложений алгебры Клини с тестами, эквациональной системы для рассуждений об итерационных программах, опубликованную в статье ^[18]

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

^ Декстер Козен в проекте «Математическая генеалогия»
^ «Декстер Козен – лауреат премии» . Ассоциация вычислительной техники . Проверено 31 октября 2013 г.
^ «Профессор Декстер Козен» . ру.нл. Проверено 17 марта 2015 г. ^{[ мертвая ссылка ]}
^ Дэвид Харел , Декстер Козен и Ежи Тюрин , «Динамическая логика». МИТ Пресс, 2000.
^ Декстер Козен (1983). «Результаты по пропозициональному μ-исчислению». Теоретическая информатика 27 (3): 333–354.
^ Декстер Козен (2006). Теория вычислений. Спрингер. ISBN 1-84628-297-7 .
^ «Футбольный клуб Корнелла по регби > Корнелл Мен, Большие красные человечки > Контакты команд» . Архивировано из оригинала 19 апреля 2010 года . Проверено 7 октября 2010 г.
↑ Перейти обратно: Перейти обратно: ^а ^б ^с ^д ^и «Награды» . Корнелл Бауэрс СНГ – Информатика . Проверено 8 сентября 2022 г.
^ «Декстер К. Козен» . Мемориальный фонд Джона Саймона Гуггенхайма . Проверено 8 сентября 2022 г.
^ Козен, Декстер ; Тюрин, Ежи (1990). «Логика программ». Ин ван Леувен, Ян (ред.). Справочник по теоретической информатике, том B. Elsevier и MIT Press. стр. 789–840. ISBN 0444880747 .
^ Харель, Дэвид ; Козен, Декстер ; Тюрин, Ежи (2000). Динамическая логика . МТИ Пресс. п. 476. ИСБН 9780262527668 .
^ «Сотрудники AAAS» (PDF) . АААС . Проверено 8 сентября 2022 г.
^ Козен, Декстер (1991). «Теорема полноты для алгебр Клини и алгебры регулярных событий». Учеб. 1991 Шестой ежегодный симпозиум IEEE. по логике в информатике . Амстердам, Нидерланды: Компьютерное общество IEEE . стр. 214–225. дои : 10.1109/LICS.1991.151646 . hdl : 1813/6963 .
^ «Президентский стипендиат Weiss (за вклад в высшее образование)» . Корнелл . Проверено 8 сентября 2022 г.
^ «Программа ПОПЛ 2020» . СИГПЛАН . Проверено 8 сентября 2022 г.
^ Смолка, Штеффен; Фостер, Нейт; Сюй, Джастин; Каппе, Тобиас; Козен, Декстер; Сильва, Александра (январь 2020 г.). «Защищенная алгебра Клини с тестами: проверка неинтерпретируемых программ почти за линейное время». Учебник ACM по языкам программирования . Том. 4. Компьютерное общество IEEE . стр. 214–225. arXiv : 1907.05920 . дои : 10.1145/3371129 .
^ «Премия Алонзо Чёрча» . ЕАКСЛ . Проверено 8 сентября 2022 г.
^ Козен, Декстер (май 1977 г.). «Алгебра Клини с тестами» . Транзакции ACM в языках и системах программирования . 19 (3): 427–443. дои : 10.1145/256167.256195 . S2CID 6658131 .

Внешние ссылки [ править ]

[1] Декстер Козен в проекте «Математическая генеалогия»

[2] «Декстер Козен – лауреат премии» . Ассоциация вычислительной техники . Проверено 31 октября 2013 г.

[3] «Профессор Декстер Козен» . ру.нл. Проверено 17 марта 2015 г. ^{[ мертвая ссылка ]}

[4] Дэвид Харел , Декстер Козен и Ежи Тюрин , «Динамическая логика». МИТ Пресс, 2000.

[5] Декстер Козен (1983). «Результаты по пропозициональному μ-исчислению». Теоретическая информатика 27 (3): 333–354.

[6] Декстер Козен (2006). Теория вычислений. Спрингер. ISBN 1-84628-297-7 .

[7] «Футбольный клуб Корнелла по регби > Корнелл Мен, Большие красные человечки > Контакты команд» . Архивировано из оригинала 19 апреля 2010 года . Проверено 7 октября 2010 г.

[KozenAwardsOnCS-8] Перейти обратно: Перейти обратно: ^а ^б ^с ^д ^и «Награды» . Корнелл Бауэрс СНГ – Информатика . Проверено 8 сентября 2022 г.

[9] «Декстер К. Козен» . Мемориальный фонд Джона Саймона Гуггенхайма . Проверено 8 сентября 2022 г.

[10] Козен, Декстер ; Тюрин, Ежи (1990). «Логика программ». Ин ван Леувен, Ян (ред.). Справочник по теоретической информатике, том B. Elsevier и MIT Press. стр. 789–840. ISBN 0444880747 .

[11] Харель, Дэвид ; Козен, Декстер ; Тюрин, Ежи (2000). Динамическая логика . МТИ Пресс. п. 476. ИСБН 9780262527668 .

[12] «Сотрудники AAAS» (PDF) . АААС . Проверено 8 сентября 2022 г.

[13] Козен, Декстер (1991). «Теорема полноты для алгебр Клини и алгебры регулярных событий». Учеб. 1991 Шестой ежегодный симпозиум IEEE. по логике в информатике . Амстердам, Нидерланды: Компьютерное общество IEEE . стр. 214–225. дои : 10.1109/LICS.1991.151646 . hdl : 1813/6963 .

[14] «Президентский стипендиат Weiss (за вклад в высшее образование)» . Корнелл . Проверено 8 сентября 2022 г.

[15] «Программа ПОПЛ 2020» . СИГПЛАН . Проверено 8 сентября 2022 г.

[16] Смолка, Штеффен; Фостер, Нейт; Сюй, Джастин; Каппе, Тобиас; Козен, Декстер; Сильва, Александра (январь 2020 г.). «Защищенная алгебра Клини с тестами: проверка неинтерпретируемых программ почти за линейное время». Учебник ACM по языкам программирования . Том. 4. Компьютерное общество IEEE . стр. 214–225. arXiv : 1907.05920 . дои : 10.1145/3371129 .

[17] «Премия Алонзо Чёрча» . ЕАКСЛ . Проверено 8 сентября 2022 г.

[18] Козен, Декстер (май 1977 г.). «Алгебра Клини с тестами» . Транзакции ACM в языках и системах программирования . 19 (3): 427–443. дои : 10.1145/256167.256195 . S2CID 6658131 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БнФ Германия Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ДБЛП MathSciNet Проект математической генеалогии zbMATH
Другой	ИдРеф