a person in the record
Dexter Kozen
American computer scientistborn 1951
Supervised 4 doctoral students at Cornell University; Wikidata names Juris Hartmanis as doctoral advisor and lists 16 doctoral students. Linked to Wikidata, ORCID, and 7 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students4
- cited by a thesis record
Shawn Ong“A Kleene Theorem and Decision Problems for Probability and Angelic Nondeterminism”
2025 · Cornell University · doctoral - cited by a thesis record
Pedro Henrique Azevedo de Amorim“A UNIFYING SEMANTICS FOR MARKOV KERNELS AND LINEAR OPERATORS”
2023 · Cornell University · doctoral - cited by a thesis record2023 · Cornell University · doctoral
- cited by a thesis record
Xiang Long“Primitives for Match-Action in Theory and Practice”
2021 · Cornell University · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata16
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataJuris Hartmanis
- 2 steps up
stated by WikidataRobert P. Dilworth
- 3 steps up
stated by WikidataMorgan Ward
- 4 steps up
stated by WikidataEric Temple Bell
Below them, within 3 steps, the record reaches 22 people: 4 cited by thesis records, 18 stated by Wikidata.
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
- undatedstudied
- undatedworked
Sat beside the lineage19
committee member, not advisor
- cited by a thesis record
Shubham Chaudhary“Client-Driven Protocols for Low-Latency Replication with RDMA”
committee member · 2026 · Cornell University · doctoral - cited by a thesis recordcommittee member · 2026 · Cornell University · doctoral
- cited by a thesis record
Jialu Bao“PROBABILISTIC SEPARATION LOGICS FOR RANDOMIZED ALGORITHMS”
committee member · 2025 · Cornell University · doctoral - cited by a thesis recordcommittee member · 2025 · Cornell University · doctoral
- cited by a thesis record
Eric Campbell“Verified Configuration of Programmable Networks”
committee member · 2024 · Cornell University · doctoral - cited by a thesis record
Kangbo Li“THE THEORY OF COMBINATORY DIFFERENTIATION AND LOCALITY IN QUANTUM CHEMISTRY”
committee member · 2024 · Cornell University · doctoral - cited by a thesis record
Oliver Richardson“A UNIFIED THEORY OF PROBABILISTIC MODELING, DEPENDENCE, AND INCONSISTENCY”
committee member · 2024 · Cornell University · doctoral - cited by a thesis record
Coşku Acay“Provably Correct Compilation for Distributed Cryptographic Applications”
committee member · 2023 · Cornell University · doctoral - cited by a thesis recordcommittee member · 2022 · Cornell University · doctoral
- cited by a thesis record
Burcu Canakci“Supporting Distributed Systems of Distributed Systems”
committee member · 2022 · Cornell University · doctoral - cited by a thesis record
Samwise Parkinson“JITNIC: Just-in-Time Compilation for In-Network Processing”
committee member · 2022 · Cornell University · master's - cited by a thesis recordcommittee member · 2022 · Cornell University · doctoral
- cited by a thesis record
Ethan Cecchetti“Mechanisms for Provable Integrity Protection in Decentralized Systems”
committee member · 2021 · Cornell University · doctoral - cited by a thesis record
Dylan Peifer“Reinforcement Learning in Buchberger's Algorithm”
committee member · 2021 · Cornell University · doctoral - cited by a thesis record
Jonathan DiLorenzo“Domain-Specific Languages for Ad Hoc Data Processing”
committee member · 2020 · Cornell University · doctoral - cited by a thesis record
Daoji Huang“A Bruhat Atlas on the Wonderful Compactification of PSO(2n)/SO(2n-1) and A Kazhdan-Lusztig Atlas on G/P”
committee member · 2020 · Cornell University · doctoral - cited by a thesis record
Mae Pierson Milano“Programming Safely with Weak (and Strong) Consistency”
committee member · 2020 · Cornell University · doctoral - cited by a thesis record
Laure Jean Thompson“Understanding and Directing What Models Learn”
committee member · 2020 · Cornell University · doctoral - cited by a thesis recordcommittee member · 1994 · Cornell University · doctoral