Декстер Козен - Dexter Kozen
 | Этот биография живого человека требует дополнительных цитаты за проверка. (апрель 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
Декстер Кэмпбелл Козен американский теоретик специалист в области информатики. Это Джозеф Ньютон Пью, младший профессор технических наук в Корнелл Университет. Он получил степень бакалавра искусств. из Дартмутский колледж в 1974 г. и докторскую степень по информатике в 1977 г. в Корнельском университете, где его консультировал Юрис Хартманис.[1] Он консультировал многочисленных кандидатов наук. ученики.
Он Член Ассоциации вычислительной техники,[2] а Сотрудник Гуггенхайма и получил награду за выдающиеся инновации от IBM Corporation. Он также был назван факультетом года Ассоциацией студентов факультетов компьютерных наук Корнелла.
Декстер Козен был одним из первых профессоров, удостоенных звания профессора в Инициатива Radboud Excellence в Radboud University Nijmegen в Нидерланды.[3]
Он известен своей работой на стыке логики и сложности. Он один из отцов динамическая логика[4] и разработал версию μ-исчисление наиболее часто используемый сегодня.[5] Кроме того, он написал несколько учебников по теория вычислений,[6] теория автоматов, динамическая логика и алгоритмы.
Kozen был гитаристом, певцом и автором песен в группе "Harmful if Swallowed". Он также занимает должность советника факультета футбольного клуба по регби Корнелла.[7] и играет за команду регби Cortland Homer Thundering Herd.
Рекомендации
- ^ Декстер Козен на Проект "Математическая генеалогия"
- ^ «Декстер Козен - лауреат премии». Ассоциация вычислительной техники. Получено 31 октября 2013.
- ^ "Профессор Декстер Козен". ru.nl. Получено 2015-03-17.[мертвая ссылка ]
- ^ Дэвид Харел, Декстер Козен и Ежи Тюрин, «Динамическая логика». MIT Press, 2000.
- ^ Декстер Козен (1983). «Результаты по μ-исчислению высказываний». Теоретическая информатика 27 (3): 333–354.
- ^ Декстер Козен (2006). Теория вычислений. Springer. ISBN 1-84628-297-7.
- ^ «Архивная копия». Архивировано из оригинал 19 апреля 2010 г.. Получено 7 октября, 2010.CS1 maint: заархивированная копия как заголовок (ссылка на сайт)
