The Design and Analysis of Algorithms Dexter C. Kozen Cornell University December 1990 c Copyright Springer-Verlag, Inc., 1991.

Source URL: www.cs.cornell.edu

A Coalgebraic Decision Procedure for NetKAT Nate Foster Dexter Kozen Matthew Milano

Source URL: www.cs.cornell.edu

The Constructive in Logic and Applications A Conference in Honor of the 60th Birthday of Sergei Artemov Conference Schedule May 23, 2012, 8:30 9:00 - 9:15

Source URL: fsw01.bcc.cuny.edu

• Mathematics
• Philosophy
• Logic
• Meals
• Joan Moschovakis
• Melvin Fitting
• Rohit Jivanlal Parikh
• Break
• Coffee
• Artyomov
• Dexter Kozen
• Anil Nerode

The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This ye

Source URL: drops.dagstuhl.de

• Computability theory
• Theory of computation
• Mathematical logic
• EACSL
• Entscheidungsproblem
• Complexity
• Computational complexity theory
• Algorithm
• Decision problem
• Dexter Kozen

Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University

Source URL: www.cs.cornell.edu

• Formal languages
• Algebraic logic
• Algebraic structures
• Dexter Kozen
• Kleene algebra
• Action algebra
• Rohit Jivanlal Parikh
• Közen
• Workshop on Logic
• Language
• Information and Computation
• Mathematics
• Logic
• Mathematical logic

Language-Based Security for Malicious Mobile Code Fred B. Schneider [removed] Dexter Kozen [removed]

Source URL: www.cs.cornell.edu

• Type theory
• Cross-platform software
• Crime prevention
• National security
• Computer security
• Information flow
• Cyclone
• Type safety
• Information security
• Computing
• Software engineering
• Programming language theory

Citations for the Test-of-Time Award from 1994 Awards Committee: Tierry Coquand Dexter Kozen (chair) Leonid Libkin Frank Pfenning

Source URL: lics.rwth-aachen.de

• Theoretical computer science
• Category theory
• Homotopy type theory
• Type theory
• Algebraic structures
• Groupoid
• IEEE Symposium on Logic in Computer Science
• Logic programming
• Frank Pfenning
• Homotopy theory
• Mathematics
• Abstract algebra

Logical Aspects of Set Constraints Dexter Kozen Computer Science Department Cornell University Ithaca, New York 14853, USA [removed]

Source URL: www.cs.cornell.edu

• Boolean algebra
• Algebraic structures
• Order theory
• Algebraic logic
• Field of sets
• Ideal
• Complete Heyting algebra
• Heyting algebra
• Interior algebra
• Mathematics
• Abstract algebra
• Mathematical logic

A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell University

Source URL: www.cs.cornell.edu

• Algebra
• Formal languages
• Algebraic logic
• Many-valued logic
• Boolean algebra
• Kleene algebra
• Kleene star
• Semiring
• Stephen Cole Kleene
• Abstract algebra
• Mathematics
• Algebraic structures