ديكستر كوزين

دكستر كامبل كوزين (مواليد 20 ديسمبر 1951) هو عالم حاسوب نظري أمريكي . وهو أستاذ فخري وأستاذ جوزيف نيوتن بيو جونيور في الهندسة بجامعة كورنيل . ^{[ 1 ]}

حصل كوزين على درجة البكالوريوس في الرياضيات من كلية دارتموث عام 1974 ودرجة الدكتوراه في علوم الحاسوب عام 1977 من جامعة كورنيل، حيث أشرف عليه جوريس هارتمانيس في أطروحته بعنوان " تعقيد الجبر المعروض بشكل محدود" . ^{[ 2 ] [ 3 ]}

يُعرف بأعماله التي تجمع بين المنطق والتعقيد . وهو أحد رواد المنطق الديناميكي ^{[ 4 ]} ، وقد طوّر النسخة الأكثر استخدامًا اليوم من حساب μ-calculus الموجه ^{[ 5 ]} . وقد حاز عمله في جبر كلين مع الاختبارات ^{[ 6 ]} على جائزة ألونسو تشيرش عام 2022 ^{[ 7 ]} . إضافةً إلى ذلك، ألّف العديد من الكتب الدراسية في نظرية الحوسبة ^{[ 8 ]} ، ونظرية الأوتوماتا ^{[ 9 ]} ، والمنطق الديناميكي ^{[ 4 ]} ، والخوارزميات ^{[ 10 ]} .

كان كوزين عازف غيتار ومغنيًا وكاتب أغاني في فرقة "Harmful if Swallowed". ^{[ 11 ]} كما يشغل منصب المستشار الأكاديمي لنادي الرجبي بجامعة كورنيل. ^{[ 12 ]}

• جائزة جون جي. كيميني في الحوسبة، كلية دارتموث ^{[ 13 ]} (1974)
• جائزة الابتكار المتميز، شركة آي بي إم ^{[ 13 ]} (1974)
• زميل في مؤسسة جون سيمون غوغنهايم ^{[ 14 ]} (1991)
• جائزة ستيفن ومارجري راسل للتدريس المتميز، كلية الآداب والعلوم، جامعة كورنيل ^{[ 13 ]} (2001)
• زميل في جمعية آلات الحوسبة (ACM) لمساهماته في علوم الحاسوب النظرية ^{[ 15 ]} (2003)
• زميل في الجمعية الأمريكية لتقدم العلوم ^{[ 16 ]} (2008)
• جائزة LICS Test-of-Time لعام 2001 عن الورقة البحثية "نظرية اكتمال لجبر كلين وجبر الأحداث المنتظمة" ^{[ 17 ]} (2011)
• كلية العام، ACSU ( رابطة طلاب علوم الحاسوب في جامعة كورنيل) ^{[ 13 ]} (2013)
• أستاذية رادبود للتميز في جامعة رادبود نيميغن ^{[ 18 ]} (2014)
• زميل في الجمعية الأوروبية لدراسات الاتصالات (2015)
• جائزة الإنجازات المتميزة من EATCS (2016)
• جائزة ماكدويل ، للمساهمات الرائدة في مواضيع تتراوح من التعقيد الحسابي إلى تحليل العمليات الحسابية الجبرية إلى منطق البرامج والتحقق (2016).
• زميل وايس الرئاسي ^{[ 19 ]} (2018)
• جائزة POPL للورقة البحثية المتميزة ^{[ 20 ]} عن الورقة البحثية "الجبر المحمي Kleene مع الاختبارات: التحقق من البرامج غير المفسرة في وقت خطي تقريبًا" ^{[ 21 ]} (2020)
• جائزة ألونزو تشيرش، ^{[ 7 ]} لعمله الأساسي في تطوير نظرية وتطبيقات جبر كلين مع الاختبارات، وهو نظام معادلات للتفكير في البرامج التكرارية، المنشور في ورقة "جبر كلين مع الاختبارات" ^{[ 6 ]} (2022).
• جائزة OOPSLA للورقة المتميزة ^{[ 22 ]} عن الورقة البحثية "التجريدات الرسمية لجدولة الحزم" ^{[ 23 ]} (2023)

• الصفحة الرئيسية لديكستر كوزين