conf.researchr.org / Dexter Kozen
Registered user since Fri 19 Feb 2016
Name:Dexter Kozen
Country:United States
Affiliation:Cornell University
Personal website: http://www.cs.cornell.edu/~kozen/
Research interests:Logics and semantics of programming languages, algorithms and complexity, computer security.
Contributions
2020
POPL
- Author of [T7] Programming and Reasoning with Kleene Algebra with Tests within the TutorialFest-track
- Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track
- Author of Semantics of Higher-Order Probabilistic Programs with Conditioning within the Research Papers-track