ACM DL

Computational Logic (TOCL)

Menu

Editorial Board


Editor-in-Chief


Orna Kupferman
 
School of Computer Science and Engineering, Hebrew University
 
Jerusalem, Israel
 
 

Assistant to the Editor-in-Chief


Eirini Kaldeli
 
National Technical University of Athens
 
Greece
 
 

Associate Editors


Albert Atserias
 
(Finite Model Theory and Proof Complexity)
 
Universitat Politècnica de Catalunya
 
Barcelona, Spain
 
 
Christel Baier
 
(Model Checking and Formal Analysis of Probabilistic Systems)
 
Technische Universität Dresden
 
Dresden, Germany
 
 
Chitta Baral
 
(Nonmonotonic Reasoning and Answer Sets)
 
Ira A. Fulton School of Engineering
 
Arizona, United States
 
 
Mikołaj Bojańczyk
 
(Logic and Automata)
 
University of Warsaw
 
Warsaw, Poland
 
 
Samuel R. Buss
 
(Logical Aspects of Computational Complexity)
 
University of California
 
California, United States
 
 
Hubert Comon-Lundh
 
(Computer Security)
 
LSV, CNRS & ENS de Cachan
 
Cedex, France
 
 
Anuj Dawar
 
(Logic, Automata and Complexity)
 
University of Cambridge
 
Cambridge, United Kingdom
 
 
Frank de Boer
 
(Verification Sequential and Concurrent Programs)
 
Centrum Wiskunde & Informatica (CWI)
 
Amsterdam, Netherlands
 
 
Danny De Schreye
 
(Logic Programming)
 
Katholieke Universiteit Leuven
 
Heverlee, Belgium
 
 
Jürgen Giesl
 
(Automated Reasoning, Term Rewriting, Program Verification)
 
RWTH Aachen University
 
Germany
 
 
Martin Hofmann
 
(Programming language theory, types, logic and complexit)
 
Institute of Informatics Ludwig-Maximilians-University
 
Munich, Germany
 
 
Thomas Lukasiewicz
 
(Logics of Uncertainty and for Knowledge Representation)
 
University of Oxford
 
Oxford , United Kingdom
 
 
Dale Miller
 
(Proof Theory)
 
INRIA and Laboratoire d'Informatique (LIX)
 
France
 
 
Stephen Muggleton
 
(Logic and Machine Learning)
 
Imperial College of Science
 
United Kingdom
 
 
Tobias Nipkow
 
(Automated Verification)
 
Technische Universitat Munchen
 
Germany
 
 
Leszek Pacholski
 
(Finite Model Theory and Complexity of Logical Theories)
 
University of Wroclaw
 
Wroclaw, Poland
 
 
R. Ramanujam
 
(Modal and temporal logics, games and automata)
 
Institute of Mathematical Sciences
 
India
 
 
Simona Ronchi Della Rocca
 
(Functional Programming and Lambda Calculus)
 
University of Torino
 
Italy
 
 
Lenhart K. Schubert
 
(Logical Aspects of Computational Linguistics and Computational Semantics)
 
University of Rochester
 
United States
 
 
Scott A. Smolka
 
(Concurrency Calculi and Tools)
 
State University of New York at Stony Brook
 
United States
 
 
V.S. Subrahmanian
 
(Logics for probabilistic, fuzzy, temporal, and spatial information)
 
University of Maryland
 
United States
 
 
Pascal Van Hentenryck
 
(Constraint Programming)
 
The University of Melbourne
 
Australia
 
 
Victor Vianu
 
(Logical Aspects of Databases)
 
University of California
 
United States
 
 
Mahesh Viswanathan
 
Verification of probabilistic and cyberphysical systems
 
University of Illinois at Urbana-Champaign
 
Urbana, United States
 
 
Michael Zakharyaschev
 
(Logics for Knowledge Representation and AI)
 
Department of Computer Science and Information Systems
 
London, United Kingdom
 
 

ACM Headquarters Staff


Laura Lander
 
ACM
 
New York, United States
 
 
 
All ACM Journals | See Full Journal Index