Dexter Kozen
Computer Scientist, Author
1951 –
Who is 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 from Cornell University in 1976, where he was advised by Juris Hartmanis.
He is a Fellow of the Association for Computing Machinery, a Guggenheim Fellow, and has received a Outstanding Innovation Award from IBM Corporation. He has also been named Faculty of the Year by the Association of Computer Science Undergraduates at Cornell.
He is known for his seminal work at the intersection of logic and complexity. He is one of the fathers of dynamic logic and developed the version of the mu calculus most used today. Moreover, he has written several textbooks on the theory of computation, automata theory, dynamic logic, and algorithms.
Kozen was also 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 and plays for the Cortland Homer Thundering Herd rugby team.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Dec 20, 1951
- Also known as
- Dexter C. Kozen
- Dexter Campbell Kozen
- Nationality
- United States of America
- Profession
- Education
- PhD, Cornell University
Computer Science
( - 1977/05) - Bachelor of Arts, Dartmouth College
Mathematics
( - 1974/06)
- PhD, Cornell University
- Lived in
- Ithaca
(1985/05 - )
- Ithaca
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Dexter Kozen." Biographies.net. STANDS4 LLC, 2024. Web. 7 May 2024. <https://www.biographies.net/people/en/dexter_kozen>.
Discuss this Dexter Kozen biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In