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