skip to main content
Advanced Search

Editorial Board

 

Editor-in-Chief

Skip section Editor-in-Chief

Anuj Dawar

University of Cambridge

United Kingdom

Logic, Automata and Complexity

 
 

Associate Editors

Skip section Associate Editors

Erika Ábrahám

RWTH Aachen University

Germany

Formal Methods

Christel Baier

Technische Universität Dresden

Germany

Model Checking and Formal Analysis of Probabilistic Systems

 

Chitta Baral

Ira A. Fulton School of Engineering

United States

Nonmonotonic Reasoning and Answer Sets

Olaf Beyersdorff

Friedrich Schiller University Jena

Germany

Proof Complexity, Logic and Complexity

 

Meghyn Bienvenu

CNRS & University of Bordeaux

France

Knowledge representation and reasoning

Manuel Bodirsky

TU Dresden

Germany

Logic and Complexity

 

Samuel R. Buss

University of California

United States

Logical Aspects of Computational Complexity

Hubie Chen

King's College London

United Kingdom

Logic and Complexity

 

Ugo dal Lago

University of Bologna

Italy

Arnaud Durand

Universite de Paris

France

Logic and Complexity

 

Jürgen Giesl

RWTH Aachen University

Germany

Automated Reasoning, Term Rewriting, Program Verification

Valentin Goranko

Stockholm University

Sweden

Modal and Temporal Logics, Logics for Multi-Agent Systems

 

Daniele Gorla

Sapienza University of Rome

Italy

Concurrency Theory and Semantics

Chris Heunen

University of Edinburgh

United Kingdom

Quantum computation and categorical semantics

 

Thomas Lukasiewicz

University of Oxford

United Kingdom

Logics of Uncertainty and for Knowledge Representation

Brigitte Pientka

McGill University

Canada

Programming language theory, types, logic and complexity

 

R. Ramanujam

Institute of Mathematical Sciences

India

Modal and temporal logics, games and automata

Simona Ronchi Della Rocca

University of Torino

Italy

Functional Programming and Lambda Calculus

 

Lenhart K. Schubert

University of Rochester

United States

Logical Aspects of Computational Linguistics and Computational Semantics

Luc Segoufin

École Normale Supérieure and INRIA

France

Logical aspects of databases

 

Alwen Tiu

Australian National University

Australia

Proof theory and logical aspects of concurrency

Pascal Van Hentenryck

The University of Melbourne

Australia

Constraint Programming

 

Mahesh Viswanathan

University of Illinois at Urbana-Champaign

United States

Verification of probabilistic and cyberphysical systems

Heribert Vollmer

Leibniz Universität Hannover

Germany

Logic and complexity

 
 

ACM Headquarters Staff

Skip section ACM Headquarters Staff

Stacey Schick

ACM

United States
 
 

Journal Administrator

Gita Delsing

KGL Editorial

United States

Cheyenne Kauha

KGL Editorial

United States