Editorial Board

 

Editor-in-Chief Stefan Milius Friedrich-Alexander Universität Erlangen-Nürnberg Executive Editors Brigitte Pientka McGill University Montreal Fabio Zanasi University College London

Editorial Board

We list the main topics handled by each editor below. The list is not intended to be restrictive: authors may submit any papers within the scope of the journal to any editor of their choice. However, the executive editor retains the right to substitute a different editor. Authors will receive immediate acknowledgment of submission and will be contacted within at most two weeks by the editor who will handle their paper.

Click here to see the list ordered by topic.

 

Move mouse to an editor to see the topics.

Ahmed, AmalFunctional programming and lambda calculus Program analysis and type checking Reasoning about programs Semantics of programming languages

Ahrens, Benedikt Algebraic methods Formalized mathematics Homotopy type theory and univalent foundations Interactive proof checking

Baader, Franz Automated deduction Logic for knowledge representation Term rewriting and equational logic

Barcelo, Pablo Automata and logic Database theory Finite model theory

Benton, Nick Functional programming and lambda calculus Logic for security Reasoning about programs Semantics of programming languages

Blazy, Sandrine Program development and specification Reasoning about programs Interactive proof checking

Chen, Yijia Finite model theory Logic and algorithms Logic and complexity

Dal Lago, Ugo Logic and complexity Logics of programs Type theory and constructive mathematics

Danos, Vincent Computational systems in biology

de Paiva, Valeria Categorical models and logic

Escardó, Martín Computability and logic Domain theory Homotopy type theory and univalent foundations Type theory and constructive mathematics

Fisman, Dana Automata and logic Automata learning Computer-aided verification Formal languages Logic and verification

Fokkink, WanConcurrency theory Process algebra Protocol verification

Galesi, Nicola Logic and complexity Proof complexity

Ghica, Dan Semantics of programming languages

Gore, Rajeev Modal and temporal logics Proof theory and logic

Goubault-Larrecq, Jean Domain theory Logic and probability Semantics of programming languages

Hillston, Jane Quantitative modeling

Jaeger, Manfred Inductive logic and learning Logic and probability Logic for knowledge representation

Jurdzinski, Marcin Automata and logic Logic and games

Kobayashi, Naoki Functional programming and lambda calculus Semantics of programming languages

Kohlenbach, Ulrich Computability and logic Proof theory and logic

Kwiatkowska, Marta Computer-aided verification Logic and probability

Lenzerini, Maurizio Database theory Logic for knowledge representation

Lifschitz, Vladimir Defeasible reasoning Logic programming Reasoning about actions and planning

Mahajan, MeenaProof complexity Logic and complexity

Mahboubi, AssiaType theory and constructive mathematics Formalized mathematics Interactive proof checking Homotopy type theory and univalent foundations

Mardare, RaduLogic and probability Modal and temporal logic Algebraic methods Coalgebraic methods

Møgelberg, Rasmus EjlersCategorical models and logic Domain theory Semantics of programming languages Type theory

Montanari, Angelo Automata and logic Logics for knowledge representation and reasoning Modal and temporal logics

Muscholl, AncaAutomata and logic Concurrency theory Logic and games Logic and verification Modal and temporal logics

Nipkow, Tobias Program development and specification

Parrow, Joachim Concurrency theory

Perdrix, Simon Quantum computation and logic

Raskin, Jean-Francois Automata and logic Logic and games

Sankaranarayanan, Sriram Computer-aided verification Cyber-physical systems Real time and hybrid systems

Schröder, LutzAlgebraic methods Categorical models and logic Coalgebraic methods Modal and temporal logics

Setzer, Anton Type theory and constructive mathematics

Silva, Alexandra Automata learning Coalgebraic methods Formal languages Logic and verification Semantics of programming languages

Simpson, AlexCategorical models and logic Domain theory Logic and probability Logics of programs Modal and temporal logics Proof theory and logics Semantics of programming languages

Sobocinski, Pawel Categorical models and logic Concurrency theory Formal languages Process algebra

Stuckey, Peter Constraint programming Logic programming

Vaandrager, Frits W Automata learning Computer-aided verification Real time and hybrid systems

Valiron, Benoît Logics of programs Quantum computation and logic Semantics of programming languages

Wand, Mitchell Program analysis and type checking Program development and specification Semantics of programming languages