WikiDer > Декстер Козен
 | Этот биография живого человека требует дополнительных цитаты за проверка. (апрель 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: заархивированная копия как заголовок (ссылка на сайт)
