imported>Jevansen: Removing from Category:American computer scientists diffuse using Cat-a-lot

2025-03-18T00:44:31Z

Removing from Category:American computer scientists diffuse using Cat-a-lot

New page

{{short description|American computer scientist}}

{{Infobox scientist
| name = 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]].<ref>{{cite web |title=Faculty |url=https://www.cs.cornell.edu/people/faculty?combine=kozen&field_research_concentration_tid=All&field_based_in_tid=All&field_faculty_type_tid=All |website=Department of Computer Science |publisher=Cornell University |access-date=25 July 2024}}</ref>

== 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''.<ref>{{MathGenealogy|id=38611}}</ref><ref>{{Cite report |title=Complexity of finitely presented algebras |date=1976-12-01 |url=https://www.ecommons.cornell.edu/items/d6b63d24-1799-455b-a005-2e21b5a1721b |last=Kozen |first=Dexter |access-date=2024-07-25 |publisher=Cornell University}}</ref>

He is known for his work at the intersection of [[mathematical logic|logic]] and [[computational complexity|complexity]]. He is one of the fathers of [[dynamic logic (modal logic)|dynamic logic]]<ref name=DynamicLogic>{{cite book |last1=Harel |first1=David |last2=Kozen |first2=Dexter |last3=Tiuryn |first3=Jerzy |title=Dynamic Logic |date=2000 |publisher=MIT Press |location=Cambridge, MA |isbn=978-026227-495-1 |url=https://direct.mit.edu/books/monograph/1973/Dynamic-Logic}}</ref> and developed the version of the [[modal μ-calculus]] most used today.<ref>Dexter Kozen (1983). "Results on the Propositional μ-Calculus". Theoretical Computer Science 27 (3): 333–354.</ref> His work on Kleene algebra with tests<ref name=KozenKAT /> was recognized with an [[Alonzo Church Award]] in 2022.<ref name=ChurchAward /> Moreover, he has written several textbooks on the [[theory of computation]],<ref>{{cite book |last1=Kozen |first1=Dexter |title=Theory of Computation |date=2006 |publisher=Springer |location=London |isbn=978-1-84628-297-3}}</ref> [[automata theory]],<ref>{{cite book |last1=Kozen |first1=Dexter |title=Automata and Computability |date=1997 |publisher=Springer-Verlag |location=New York |isbn=978-0-387-94907-9}}</ref> [[dynamic logic (modal logic)|dynamic logic]],<ref name=DynamicLogic /> and [[algorithm|algorithms]].<ref>{{cite book |last1=Kozen |first1=Dexter |title=The Design and Analysis of Algorithms |date=1991 |publisher=Springer-Verlag |location=New York |isbn=978-0-387-97687-7}}</ref>

Kozen was a guitarist, singer, and songwriter in the band "Harmful if Swallowed".<ref>{{cite web |last1=Donald |first1=Bruce |title=Harmful if Swallowed - MP3's |url=https://users.cs.duke.edu/~brd/Music/Harmful/index2.html |website=Bruce Randall Donald |access-date=25 July 2024 |archive-url=https://web.archive.org/web/20240724232446/https://users.cs.duke.edu/~brd/Music/Harmful/index2.html |archive-date=24 July 2024}}</ref> He also holds the position of faculty advisor for Cornell's rugby football club.<ref>{{cite web|url=http://www.curfc.com/teamcontacts.php |title=Cornell Rugby Football Club > Cornell Men Big Red Men > Team Contacts |accessdate=October 7, 2010 |url-status=dead |archiveurl=https://web.archive.org/web/20100419123843/http://www.curfc.com/teamcontacts.php |archivedate=April 19, 2010 }}</ref>

==Awards and honors==
* John G. Kemeny Prize in Computing, Dartmouth College<ref name=KozenAwardsOnCS>{{cite web
|url=https://www.cs.cornell.edu/information/awards-by-recipient
|title=Awards
|website=Cornell Bowers CIS - Computer Science
|access-date=2022-09-08
|archive-url=https://web.archive.org/web/20220920221754/https://www.cs.cornell.edu/information/awards-by-recipient
|archive-date=2022-09-20}}</ref> (1974)
* Outstanding Innovation Award, IBM Corporation<ref name=KozenAwardsOnCS /> (1974)
* Fellow, [[John Simon Guggenheim Memorial Foundation|John Simon Guggenheim Foundation]]<ref>{{cite web
|url=https://www.gf.org/fellows/all-fellows/dexter-c-kozen/
|title=Dexter C. Kozen
|website=John Simon Guggenheim Memorial Foundation
|access-date=2022-09-08}}</ref> (1991)
* Stephen and Margery Russell Distinguished Teaching Award, College of Arts and Sciences, Cornell<ref name=KozenAwardsOnCS /> (2001)
* [[List of Fellows of the Association for Computing Machinery|ACM Fellow]], for contributions to theoretical computer science<ref>{{cite web|url=https://awards.acm.org/award-recipients/kozen_N993279|title=Dexter Kozen|publisher=[[Association for Computing Machinery]]|accessdate=25 July 2024 |archive-url=https://web.archive.org/web/20230924012005/https://awards.acm.org/award-recipients/kozen_N993279 |archive-date=24 September 2023}}</ref> (2003)
* Fellow, AAAS<ref>{{cite web
|url=https://www.aaas.org/sites/default/files/AnnualReports/2008/aaas_ann_rpt_08k_fellows.pdf
|title=AAAS Fellows
|publisher=[[American Association for the Advancement of Science|AAAS]]
|access-date=2022-09-08}}</ref> (2008)
* [[Symposium on Logic in Computer Science#LICS Awards|2001 LICS Test-of-Time Award]] for the paper "A completeness theorem for Kleene algebras and the algebra of regular events"<ref>{{Cite conference
|last1=Kozen
|first1=Dexter
|title=A completeness theorem for Kleene algebras and the algebra of regular events
|date=1991
|book-title=Proc. 1991 Sixth Annual IEEE Symp. on Logic in Computer Science
|location=Amsterdam, Netherlands
|volume=
|pages=214–225
|publisher=[[IEEE Computer Society]]
|doi=10.1109/LICS.1991.151646
|hdl=1813/6963
|hdl-access=free
}}</ref> (2011)
* Faculty of the Year, ACSU ([https://www.acsu.cornell.edu/ Association of Computer Science Undergraduates] at Cornell)<ref name=KozenAwardsOnCS /> (2013)
* Radboud Excellence professorship at the [[Radboud University Nijmegen]]<ref>{{cite web|url=http://www.ru.nl/excellence/current-members-0/current-members/professor-dexter |title= Professor Dexter Kozen |publisher=ru.nl |date= |accessdate=2015-03-17}}{{dead link|date=April 2016}}</ref> (2014)
* Fellow, [[European Association for Theoretical Computer Science#EATCS Fellows|EATCS]] (2015)
* [[European Association for Theoretical Computer Science#EATCS Fellows|EATCS]] Distinguished Achievements Award (2016)
* [[W. Wallace McDowell Award|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<ref>{{Cite web
|url=https://theuniversityfaculty.cornell.edu/dean/awards/the-stephen-h-weiss-awards/stephen-h-weiss-fellow-award-winners-by-year/
|title=Weiss Presidential Fellow (for contributions to undergraduate education)
|publisher=[[Cornell University|Cornell]]
|access-date=2022-09-08}}</ref> (2018)
* POPL Distinguished Paper Award<ref>{{cite web
|url=https://popl20.sigplan.org/program/program-POPL-2020?badge=Distinguished%20Paper
|title=POPL 2020 Program
|website=SIGPLAN
|access-date=2022-09-08}}</ref> for the paper "Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time"<ref>{{Cite conference
|last1=Smolka
|first1=Steffen
|last2=Foster
|first2=Nate
|last3=Hsu
|first3=Justin
|last4=Kappé
|first4=Tobias
|last5=Kozen
|first5=Dexter
|last6=Silva
|first6=Alexandra
|title=Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time
|date=January 2020
|book-title=Proc of the ACM on Programming Languages
|location=
|issue=POPL
|volume=4
|pages=214–225
|publisher=[[IEEE Computer Society]]
|doi=10.1145/3371129
|doi-access=free
|arxiv=1907.05920
}}</ref> (2020)
* Alonzo Church Award,<ref name=ChurchAward>{{cite web
|url=https://www.eacsl.org/alonzo-church-award/previous-awards-2/
|title=Previous Awards
|website=EACSL
|access-date=2024-07-25
|archive-url=https://web.archive.org/web/20230927194619/https://www.eacsl.org/alonzo-church-award/previous-awards-2/
|archive-date=2023-09-27}}</ref> 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 "Kleene algebra with tests"<ref name=KozenKAT>{{Cite journal
|last1=Kozen
|first1=Dexter
|title=Kleene algebra with tests
|journal=[[ACM Transactions on Programming Languages and Systems]]
|volume=19
|issue=3
|pages=427–443
|date=May 1977
|doi=10.1145/256167.256195
|s2cid=6658131
|doi-access=free
}}</ref> (2022)
* OOPSLA Distinguished Paper Award<ref>{{cite web |title=Awards |url=https://2023.splashcon.org/track/splash-2023-awards |website=SPLASH 2023 |access-date=25 July 2024 |archive-url=https://web.archive.org/web/20240304214613/https://2023.splashcon.org/track/splash-2023-awards |archive-date=4 March 2024}}</ref> for the paper "Formal abstractions for packet scheduling"<ref>{{cite journal |last1=Mohan |first1=Anshuman |last2=Liu |first2=Yunhe |last3=Foster |first3=Nate |last4=Kappé |first4=Tobias |last5=Kozen |first5=Dexter |title=Formal Abstractions for Packet Scheduling |journal=Proceedings of the ACM on Programming Languages |date=16 October 2023 |volume=7 |issue=OOPSLA2 |pages=1338–1362 |doi=10.1145/3622845|arxiv=2211.11659 }}</ref> (2023)

==References==
<references/>

==External links==
* [http://www.cs.cornell.edu/~kozen/ Dexter Kozen's homepage]

{{Authority control}}

{{DEFAULTSORT:Kozen, Dexter}}
[[Category:2003 fellows of the Association for Computing Machinery]]
[[Category:Fellows of the American Association for the Advancement of Science]]
[[Category:Living people]]
[[Category:American theoretical computer scientists]]
[[Category:Cornell University faculty]]
[[Category:Cornell University alumni]]
[[Category:Dartmouth College alumni]]
[[Category:Computer scientists]]
[[Category:Theoretical computer scientists]]
[[Category:1951 births]]
[[Category:Academic staff of Radboud University Nijmegen]]

Dexter Kozen - Revision history

imported>Jevansen: Removing from Category:American computer scientists diffuse using Cat-a-lot