Find Experts

Experts in Computer Science
Shiyan Hu ATRI SANYAL Amy Skarzenski LarryFrownfelter Steven Weber Daniel Cass M Afzal Upal Ivan Palikuca Thomas Merlino Daniel Cas Barry Nuhfer Larry Frown Felter A Miquel Guiot Larry Frownfelter Hannah Cox ALI MAQABLEH Linda Bremmer Chad Griffin Paul Jessup Jeffrey Skarzenski View More
Dexter Kozen

Professor
Com[puter Science
Cornell University
United States of America

Professor Computer Science
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.
Experts in United States of America
Jairaj K. Acharya John Belote Wayde Brown Aimée M. Dudley Jon P Mochel Rabaa M. Al-Rousan Chancellor, Renate Karen Lee Abt Lin Li Hui-Hsien Chou Hamed I. Aly Cory K. Adams Mark Ehrensberger Jose Buitrago Gerhard J. Barone Jacquelyne Adams Jon Calabria Shelley Cannady Susan B. Adams Stoica George Daniel E. Acuna Tal Amasay Jason R. Wiles Matthew H Andersen Brian Rothman View More