Biography:Dexter Kozen

From HandWiki
Short description: American computer scientist


Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He received his B.A. from Dartmouth College in 1974 and his PhD in computer science in 1977 from Cornell University, where he was advised by Juris Hartmanis.[1] He advised numerous Ph.D. students.

He is a Fellow of the Association for Computing Machinery,[2] a Guggenheim Fellow, and has received an Outstanding Innovation Award from IBM Corporation. He has also been named Faculty of the Year by the Association of Computer Science Undergraduates at Cornell.

Dexter Kozen was one of the first professors to receive the honor of a professorship at The Radboud Excellence Initiative at Radboud University Nijmegen in the Netherlands.[3]

He is known for his work at the intersection of logic and complexity. He is one of the fathers of dynamic logic[4] and developed the version of the modal μ-calculus most used today.[5] Moreover, he has written several textbooks on the theory of computation,[6] automata theory, dynamic logic, and algorithms.

Kozen was a guitarist, singer, and songwriter in the band "Harmful if Swallowed". He also holds the position of faculty advisor for Cornell's rugby football club[7] and plays for the Cortland Homer Thundering Herd rugby team.

Awards and honors

  • John G. Kemeny Prize in Computing, Dartmouth College)][8] (1974)
  • Outstanding Innovation Award, IBM Corporation)[8] (1974)
  • Fellow, John Simon Guggenheim Foundation[9] (1991)
  • Prize Nagrode, Polish Ministry of Education,[8] for paper[10] (1993)
  • Stephen and Margery Russell Distinguished Teaching Award, College of Arts and Sciences, Cornell[8] (2001)
  • Prize Nagrode, Polish Ministry of Education,[8] for paper[11] (1993)
  • ACM Fellow, For contributions to theoretical computer science (2003)
  • Fellow, AAAS[12] (2008)
  • 2001 LICS Test-of-Time Award for the paper[13] (2011)
  • Fellow, EATCS (2016)
  • McDowell Award, for groundbreaking contributions to topics ranging from computational complexity to the analysis of algebraic computations to logics of programs and verification (2016)
  • Weiss Presidential Fellow[14] (2018)
  • POPL Distinguished Paper Award[15] for the paper Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time[16] (2020)
  • Alonzo Church Award,[17] for his fundamental work on developing the theory and applications of Kleene Algebra with Tests, an equational system for reasoning about iterative programs, published in the paper[18]

References

  1. ↑ Dexter Kozen at the Mathematics Genealogy Project
  2. ↑ "Dexter Kozen – Award Winner". Association for Computing Machinery. http://awards.acm.org/award_winners/kozen_n993279.cfm. Retrieved 31 October 2013. 
  3. ↑ "Professor Dexter Kozen". ru.nl. http://www.ru.nl/excellence/current-members-0/current-members/professor-dexter. Retrieved 2015-03-17. [|permanent dead link|dead link}}]
  4. ↑ David Harel, Dexter Kozen, and Jerzy Tiuryn, "Dynamic Logic". MIT Press, 2000.
  5. ↑ Dexter Kozen (1983). "Results on the Propositional μ-Calculus". Theoretical Computer Science 27 (3): 333–354.
  6. ↑ Dexter Kozen (2006). Theory of Computation. Springer. ISBN:1-84628-297-7.
  7. ↑ "Cornell Rugby Football Club > Cornell Men Big Red Men > Team Contacts". Archived from the original on April 19, 2010. https://web.archive.org/web/20100419123843/http://www.curfc.com/teamcontacts.php. Retrieved October 7, 2010. 
  8. ↑ 8.0 8.1 8.2 8.3 8.4 "Awards". https://www.cs.cornell.edu/information/awards-by-recipient. 
  9. ↑ "Dexter C. Kozen". https://www.gf.org/fellows/all-fellows/dexter-c-kozen/. 
  10. ↑ Kozen, Dexter; Tiuryn, Jerzy (1990). "Logics of programs". Handbook of Theoretical Computer Science, volume B. Elsevier and MIT Press. pp. 789–840. ISBN 0444880747. 
  11. ↑ Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Dynamic Logic. MIT Press. pp. 476. ISBN 9780262527668. 
  12. ↑ "AAAS Fellows". AAAS. https://www.aaas.org/sites/default/files/AnnualReports/2008/aaas_ann_rpt_08k_fellows.pdf. 
  13. ↑ Kozen, Dexter (1991). "A completeness theorem for Kleene algebras and the algebra of regular events". Amsterdam, Netherlands: IEEE Computer Society. pp. 214–225. doi:10.1109/LICS.1991.151646. 
  14. ↑ "Weiss Presidential Fellow (for contributions to undergraduate education)". Cornell. https://theuniversityfaculty.cornell.edu/dean/awards/the-stephen-h-weiss-awards/stephen-h-weiss-fellow-award-winners-by-year/. 
  15. ↑ "POPL 2020 Program". https://popl20.sigplan.org/program/program-POPL-2020?badge=Distinguished%20Paper. 
  16. ↑ Smolka, Steffen; Foster, Nate; Hsu, Justin; Kappé, Tobias; Kozen, Dexter; Silva, Alexandra (January 2020). "Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time". 4. IEEE Computer Society. pp. 214–225. doi:10.1145/3371129. 
  17. ↑ "Alonzo Church Award". https://www.eacsl.org/alonzo-church-award/. 
  18. ↑ Kozen, Dexter (May 1977). "Kleene algebra with tests". ACM Transactions on Programming Languages and Systems 19 (3): 427–443. doi:10.1145/256167.256195. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Dexter_Kozen&oldid=3438189"