Dexter Kozen
E239160
UNEXPLORED
Dexter Kozen is an American theoretical computer scientist known for his influential work in logic in computer science, automata theory, and the semantics of programming languages.
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
|
doctoralAdvisor |
|
Zohar Manna
→
|
notableStudent |