Skip to main content

Reflections on a \m\(\slash\) Time with Dexter Kozen

  • Chapter
  • 782 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7230))

Abstract

“Choose as an advisor someone you can see yourself being in ten years.” Those were the words spoken to me by a fellow graduate student at Cornell University. It is a task that is easier said than done. How do I know who I want to be in ten years, let alone find someone who embodies those qualities? Through an incredible set of circumstances, I ended up working with an advisor who represented the person I wanted to be in ten years, Dexter Kozen. In the four and a half years I had the privilege of working with Dexter, I learned many lessons I have carried with me through graduate school and beyond to my life as a software engineer and manager.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Aboul-Hosn, K. (2012). Reflections on a \m\(\slash\) Time with Dexter Kozen. 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_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29485-3_20

  • 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)

Publish with us

Policies and ethics