Dexter Kozen Explained

Dexter Kozen
Birth Date:December 20, 1951
Birth Place:United States
Fields:Theoretical computer science
Workplaces:Cornell University (1985–), Radboud University Nijmegen (2014)
Alma Mater:Dartmouth College (BA, 1974), Cornell University (PhD, 1977)
Thesis Title:Complexity of Finitely Presented Algebras
Thesis Url:https://www.ecommons.cornell.edu/items/d6b63d24-1799-455b-a005-2e21b5a1721b
Thesis Year:1977
Doctoral Advisor:Juris Hartmanis
Known For:Dynamic logic (modal logic), Automata theory, Kleene algebra with tests
Website:https://www.cs.cornell.edu/~kozen/
Spouse:Frances Kozen

Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University.[1]

Career

Kozen received his BA in mathematics from Dartmouth College in 1974 and his PhD in computer science in 1977 from Cornell University, where he was advised by Juris Hartmanis on the thesis, Complexity of Finitely Presented Algebras.[2]

He is known for his work at the intersection of logic and complexity. He is one of the fathers of dynamic logic[3] and developed the version of the modal μ-calculus most used today.[4] His work on Kleene algebra with tests was recognized with an Alonzo Church Award in 2022. Moreover, he has written several textbooks on the theory of computation,[5] automata theory,[6] dynamic logic, and algorithms.[7]

Kozen was a guitarist, singer, and songwriter in the band "Harmful if Swallowed".[8] He also holds the position of faculty advisor for Cornell's rugby football club.[9]

Awards and honors

References

  1. Web site: Faculty . Department of Computer Science . Cornell University . 25 July 2024.
  2. Complexity of finitely presented algebras . 1976-12-01 . Kozen . Dexter . 2024-07-25 . Cornell University.
  3. Book: Harel . David . Kozen . Dexter . Tiuryn . Jerzy . Dynamic Logic . 2000 . MIT Press . Cambridge, MA . 978-026227-495-1 .
  4. Dexter Kozen (1983). "Results on the Propositional μ-Calculus". Theoretical Computer Science 27 (3): 333–354.
  5. Book: Kozen . Dexter . Theory of Computation . 2006 . Springer . London . 978-1-84628-297-3.
  6. Book: Kozen . Dexter . Automata and Computability . 1997 . Springer-Verlag . New York . 978-0-387-94907-9.
  7. Book: Kozen . Dexter . The Design and Analysis of Algorithms . 1991 . Springer-Verlag . New York . 978-0-387-97687-7.
  8. Web site: Donald . Bruce . Harmful if Swallowed - MP3's . Bruce Randall Donald . 25 July 2024 . https://web.archive.org/web/20240724232446/https://users.cs.duke.edu/~brd/Music/Harmful/index2.html . 24 July 2024.
  9. Web site: Cornell Rugby Football Club > Cornell Men Big Red Men > Team Contacts . October 7, 2010 . dead . https://web.archive.org/web/20100419123843/http://www.curfc.com/teamcontacts.php . April 19, 2010 .
  10. Web site: Awards . Cornell Bowers CIS - Computer Science. 2022-09-08. https://web.archive.org/web/20220920221754/https://www.cs.cornell.edu/information/awards-by-recipient. 2022-09-20.
  11. Web site: Dexter C. Kozen . John Simon Guggenheim Memorial Foundation . 2022-09-08.
  12. Web site: Dexter Kozen. Association for Computing Machinery. 25 July 2024 . https://web.archive.org/web/20230924012005/https://awards.acm.org/award-recipients/kozen_N993279 . 24 September 2023.
  13. Web site: AAAS Fellows . AAAS. 2022-09-08.
  14. Kozen. Dexter. A completeness theorem for Kleene algebras and the algebra of regular events. 1991. Proc. 1991 Sixth Annual IEEE Symp. on Logic in Computer Science. Amsterdam, Netherlands. 214–225. IEEE Computer Society. 10.1109/LICS.1991.151646. 1813/6963. free.
  15. Web site: Professor Dexter Kozen . ru.nl . 2015-03-17.
  16. Web site: Weiss Presidential Fellow (for contributions to undergraduate education) . . 2022-09-08.
  17. Web site: POPL 2020 Program . SIGPLAN . 2022-09-08.
  18. Smolka. Steffen. Foster. Nate. Hsu. Justin. Kappé. Tobias. Kozen. Dexter. Silva. Alexandra. Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. January 2020. Proc of the ACM on Programming Languages. POPL. 4. 214–225. IEEE Computer Society. 10.1145/3371129. free. 1907.05920.
  19. Web site: Previous Awards. EACSL. 2024-07-25. https://web.archive.org/web/20230927194619/https://www.eacsl.org/alonzo-church-award/previous-awards-2/. 2023-09-27.
  20. Kozen . Dexter . Kleene algebra with tests . . 19 . 3 . 427 - 443 . May 1977 . 10.1145/256167.256195. 6658131 . free .
  21. Web site: Awards . SPLASH 2023 . 25 July 2024 . https://web.archive.org/web/20240304214613/https://2023.splashcon.org/track/splash-2023-awards . 4 March 2024.
  22. Mohan . Anshuman . Liu . Yunhe . Foster . Nate . Kappé . Tobias . Kozen . Dexter . Formal Abstractions for Packet Scheduling . Proceedings of the ACM on Programming Languages . 16 October 2023 . 7 . OOPSLA2 . 1338–1362 . 10.1145/3622845. 2211.11659 .

External links