Dexter Kozen

Professor
Com[puter Science
Cornell University
United States of America

Biography

Dexter Kozen Joseph Newton Pew, Jr. Professor in Engineering PhD, Cornell University, 1977

Research Intrest

Research interests: Algorithms and complexity, especially complexity of decision problems in logic and algebra, logics and semantics of programming languages, computer security.

List of Publications

Dexter Kozen, Konstantinos Mamouras, and Alexandra Silva. Completeness and incompleteness in nominal Kleene algebra. J. Logical and Algebraic Methods in Programming, 91:17-32, 2017. doi:10.1016/j.jlamp.2017.06.002.

Steffen Smolka, David Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva. Deciding probabilistic program equivalence in NetKAT. Technical Report http://arxiv.org/abs/1707.02772, Cornell University, July 2017. Submitted.

Find Experts

Experts in Computer Science

Dexter Kozen

Dexter Kozen, Konstantinos Mamouras, and Alexandra Silva. Completeness and incompleteness in nominal Kleene algebra. J. Logical and Algebraic Methods in Programming, 91:17-32, 2017. doi:10.1016/j.jlamp.2017.06.002.

Steffen Smolka, David Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva. Deciding probabilistic program equivalence in NetKAT. Technical Report http://arxiv.org/abs/1707.02772, Cornell University, July 2017. Submitted.

Experts in United States of America

Connect with your Global Scientific Fields by Subject