Dexter Kozen
Get Dexter Kozen essential facts below. View Videos or join the Dexter Kozen discussion. Add Dexter Kozen to your PopFlock.com topic list for future reference or share this resource on social media.
Dexter Kozen

Dexter Campbell Kozen 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 ?-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.

References

  1. ^ Dexter Kozen at the Mathematics Genealogy Project
  2. ^ "Dexter Kozen - Award Winner". Association for Computing Machinery. Retrieved 2013.
  3. ^ "Professor Dexter Kozen". ru.nl. Retrieved .[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. ^ "Archived copy". Archived from the original on April 19, 2010. Retrieved 2010.CS1 maint: archived copy as title (link)

External links


  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Dexter_Kozen
 



 



 
Music Scenes