Reflections on a \m $\slash$ Time with Dexter Kozen.

Logic and Program Semantics(2012)

Cited 0|Views2
No score
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.
More
Translated text
Key words
Dexter Kozen,incredible set,m time,fellow graduate student,dexter kozen,half year,Cornell University,software engineer,graduate school
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined