Editor-in-Chief
Pierre-Louis Curien, IRIF, pôle PPS, équipe Picube, CNRS, Université Paris Cité and Inria, France
Keywords: Categorical, denotational and operational semantics, operads, homotopical algebra
Associate Editors
Philip J. Scott, University of Ottawa, Canada
Keywords: Categorical logic and algebra, logics (higher-order, constructive, many-valued), foundations of computing.
Nicola Gambino, University of Manchester, UK
Nicola.Gambino@manchester.ac.uk
Keywords: Categorical logic, (homotopy) type theory, constructive logic
Editorial Board
Sandra Alves, University of Porto, Portugal
Keywords: Lambda calculus, linear logic, type theory, rewriting theory
Richard Blute, University of Ottawa, Canada
Keywords: Categorical proof theory, linear logic, monoidal categories
Cristian S. Calude, University of Auckland, New Zealand
Keywords: Algorithmic and quantum information theories, quantum theories of computing and randomness
Robin Cockett, University of Calgary, Canada
Keywords: Categorical programming and foundations (quantum, partial maps, differential and tangent
Thierry Coquand, University of Gothenburg, Sweden
Keywords: Type theory, constructive mathematics, functional programming
Ugo Dal Lago, University of Bologna, Italy
Keywords: Lambda-calculus, type systems, program equivalences, implicit computational complexity, probabilistic and quantum computation
Vincent Danos, CNRS and Ecole Normale Supérieure, France
Keywords: Domain-specific modeling/programming languages, probabilistic models
Rocco De Nicola, IMT Lucca, Italy
Keywords: Foundations of distributed computing
Thomas Ehrhard, IRIF, CNRS and Université Paris Cité, France
Keywords: Categorical semantics, linear logic, lambda-calculus
Yuxi Fu, Shanghai Jiaotong University, China
Keywords: Process calculi, expressiveness, theory of interaction
Richard Garner, Macquarie University, Sydney, Australia
Keywords: Categorical logic, type theory, enriched categories, semigroups, algebra and coalgebra in computer science
Masahito Hasegawa, Kyoto University, Japan
Keywords: Programming languages, semantics, category theory
Ekaterina Komendantskaya, Heriot-Watt University, UK
Keywords: Functional and logic programming, theorem proving, verification of AI, logic and statistical learning theory
Barbara König, Universität Duisburg - Essen, Germany
Keywords: Semantics and verification, graph transformation systems, category theory and coalgebra, fixed-point theory
Stephen Lack, Macquarie University, Australia
Keywords: Category theory and its applications to computer science
Dan Licata, Wesleyan University, USA
Keywords: Type theory, categorical semantics
Philippe Malbos, Université Lyon 1, France
Keywords: Homological algebra, algebraic topology, higher-dimensional rewriting
Paulo Oliva, Queen Mary College, London, UK
Keywords: Structural proof theory, applications to proof mining, connections to game theory
Luke Ong, University of Oxford, UK
Keywords: Statistical, differentiable, and probabilistic programming, game semantics, higher-order verification and model checking
Prakash Panangaden, McGill University, Canada
Keywords: Probabilistic programming, foundations of machine learning, probabilistic bisimulation, metrics, logic and bisimulation
Damien Pous, Ecole Normale Supérieure de Lyon, France
Keywords: Coalgebra, coinduction, universal algebra, proof assistants, calculus of relations
Aleksy Schubert, Warsaw University, Poland
Keywords: Proof theory, object-oriented languages, formalisation
Pawel Sobocinski, Tallin University of Technology, Estonia
Keywords: Category theory, compositionality, concurrency theory, semantics of programming languages, verification
Thomas Streicher, University of Darmstadt, Germany
Keywords: Categorical semantics, type theory, program verification
Glynn Winskel, University of Stratchclyde, UK
Keywords: Concurrency, causality and interaction, mathematical theory of games
Nobuko Yoshida, Queen Mary College, London, UK
Keywords: Concurrency theory, type theory, programming languages, distributed systems, process calculi
Steve Zdancewic, University of Pennsylvania, USA
Keywords: Security in programming languages and type systems, (Coq-based) formal verification