Dexter Kozen - POPL 2020

Registered user since Fri 19 Feb 2016

Name:Dexter Kozen

Country:United States

Affiliation:Cornell University

Research interests:Logics and semantics of programming languages, algorithms and complexity, computer security.

Contributions

POPL 2020	[T7] Programming and Reasoning with Kleene Algebra with Tests Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time Semantics of Higher-Order Probabilistic Programs with Conditioning
Show activities from other conferences