Dextera Kozena

Dexter Campbell Kozen (ur. 20 grudnia 1951) to amerykański informatyk teoretyczny . Jest Josephem Newtonem Pew, Jr. profesorem inżynierii na Cornell University . Uzyskał tytuł licencjata w Dartmouth College w 1974 r., a doktorat z informatyki w 1977 r. na Cornell University, gdzie doradzał mu Juris Hartmanis . Doradzał wielu doktorantom. studenci.

Jest członkiem Association for Computing Machinery , Guggenheim Fellow i otrzymał nagrodę Outstanding Innovation Award od IBM Corporation. Został również nazwany Wydziałem Roku przez Stowarzyszenie Studentów Informatyki w Cornell.

Dexter Kozen był jednym z pierwszych profesorów, którzy otrzymali tytuł profesora w The Radboud Excellence Initiative na Radboud University Nijmegen w Holandii .

Znany jest ze swojej pracy na przecięciu logiki i złożoności . Jest jednym z ojców logiki dynamicznej i opracował najczęściej używaną obecnie wersję rachunku modalnego μ . Ponadto napisał kilka podręczników z teorii obliczeń , teorii automatów , logiki dynamicznej i algorytmów .

Kozen był gitarzystą, wokalistą i autorem tekstów w zespole „Harmful if Swallowed”. Pełni również funkcję doradcy wydziału klubu piłkarskiego rugby Cornell i gra w drużynie rugby Cortland Homer Thundering Herd.

Nagrody i wyróżnienia

  • Nagroda im. Johna G. Kemeny'ego w dziedzinie informatyki, Dartmouth College)] (1974)
  • Nagroda za wybitną innowacyjność, IBM Corporation) (1974)
  • Stypendysta Fundacji Johna Simona Guggenheima (1991)
  • Nagroda Nagrode Ministerstwa Edukacji Narodowej za pracę (1993)
  • Nagroda Stephena i Margery Russell za wybitne nauczanie, College of Arts and Sciences, Cornell (2001)
  • Nagroda Nagrode Ministerstwa Edukacji Narodowej za pracę (1993)
  • ACM Fellow , za wkład w informatykę teoretyczną (2003)
  • Kolega, AAAS (2008)
  • 2001 LICS Test-of-Time Award za artykuł (2011)
  • Kolega, EATCS (2016)
  • McDowell Award za przełomowy wkład w tematy od złożoności obliczeniowej, przez analizę obliczeń algebraicznych, po logikę programów i weryfikację (2016)
  • Stypendysta prezydenta Weissa (2018)
  • Nagroda POPL Distinguished Paper Award za pracę Guarded Kleene algebra with testing: weryfikacja niezinterpretowanych programów w czasie prawie liniowym (2020)
  • Alonzo Church Award za fundamentalną pracę nad rozwojem teorii i zastosowań algebry Kleene z testami, systemu równań do wnioskowania o programach iteracyjnych, opublikowaną w artykule
  1. ^ Dexter Kozen w Mathematics Genealogy Project
  2. ^ „Dexter Kozen - zdobywca nagrody” . Stowarzyszenie Maszyn Komputerowych . Źródło 31 października 2013 r .
  3. ^ „Profesor Dexter Kozen” . ru.nl . Źródło 2015-03-17 . [ martwy link ]
  4. ^ David Harel , Dexter Kozen i Jerzy Tiuryn, „Dynamiczna logika”. MIT Press, 2000.
  5. Bibliografia _ „Wyniki μ-rachunku zdań”. Informatyka teoretyczna 27 (3): 333–354.
  6. Bibliografia   _ Teoria obliczeń. Skoczek. ISBN 1-84628-297-7 .
  7. ^ „Cornell Rugby Football Club> Cornell Men Big Red Men> Kontakty zespołu” . Zarchiwizowane od oryginału w dniu 19 kwietnia 2010 r . Źródło 7 października 2010 r .
  8. ^ a b c d e „Nagrody” . Cornell Bowers CIS — Informatyka . Źródło 2022-09-08 .
  9. Wikimedia Commons znajdują się multimedia związane z Dexterem C. Kozenem . Fundacja Pamięci Johna Simona Guggenheima . Źródło 2022-09-08 .
  10. Bibliografia   _ _ Tiuryn, Jerzy (1990). „Logika programów”. W van Leeuwen, Jan (red.). Podręcznik informatyki teoretycznej, tom B. Elsevier i MIT Press. s. 789–840. ISBN 0444880747 .
  11. Bibliografia   _ _ Kozen, Dexter ; Tiuryn, Jerzy (2000). Logika dynamiczna . MIT Press. P. 476. ISBN 9780262527668 .
  12. ^ „Stypendyści AAAS” (PDF) . AAAS . Źródło 2022-09-08 .
  13. ^ Kozen, Dexter (1991). „Twierdzenie o zupełności dla algebr Kleene i algebry zdarzeń regularnych”. proc. 1991 Szósty doroczny Symp. IEEE. na temat logiki w informatyce . Amsterdam, Holandia: IEEE Computer Society . s. 214–225. doi : 10.1109/LICS.1991.151646 . hdl : 1813/6963 .
  14. ^ „Weiss Presidential Fellow (za wkład w edukację licencjacką)” . Cornell . Źródło 2022-09-08 .
  15. ^ „Program POPL 2020” . SIGPLAN . Źródło 2022-09-08 .
  16. ^ Smołka, Steffen; Foster, Nate; Hsu, Justin; Kappe, Tobiasz; Kozen, Dexter; Silva, Alexandra (styczeń 2020). „Strzeżona algebra Kleene z testami: weryfikacja niezinterpretowanych programów w czasie prawie liniowym”. Proc ACM w sprawie języków programowania . Tom. 4. Towarzystwo komputerowe IEEE . s. 214–225. doi : 10.1145/3371129 .
  17. ^ „Nagroda Kościoła Alonzo” . EACSL . Źródło 2022-09-08 .
  18. ^   Kozen, Dexter (maj 1977). „Algebra Kleene'a z testami” . Transakcje ACM dotyczące języków i systemów programowania . 19 (3): 427–443. doi : 10.1145/256167.256195 . S2CID 6658131 .

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Dexter_Kozen&oldid=1136339750 ”