Abstract
This is a somewhat non-standard piece about Dexter Kozen, longtime colleague and friend. I am sure that the praise of Dexter’s research will have been sung by many of the people contributing to this volume. I could probably have added my own perspective, talking at length about the enormous impact of his most profound work. For example, the wonderful paper on alternation influenced my work on seemingly unrelated topics years later, in many unexpected ways.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsEditor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Harel, D. (2012). Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. In: Constable, R.L., Silva, A. (eds) Logic and Program Semantics. Lecture Notes in Computer Science, vol 7230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29485-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-29485-3_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29484-6
Online ISBN: 978-3-642-29485-3
eBook Packages: Computer ScienceComputer Science (R0)