The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx).
From 2017 to 2022, the Award has been sponsored by the association Alumni der Informatik Dortmund e.V.
From 2010 to 2016, the Award has been sponsored by the Kurt Gödel Society.
For the three years 2007-2009, the Award was sponsored by Logitech, S.A., Romanel, Switzerland, the world’s leading provider of personal peripherals.
Ackermann Award 2021
The Ackermann Award 2021 is given to two PhD theses (in alphabetic order):
Marie Fortin
for her thesis
Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata
defended at ENS Paris-Saclay, (France) in 2020.
Supervisors: Paul Gastin and Benedikt Bollig
AND
Sandra Kiefer
for her thesis
Power and Limits of the Weisfeiler-Leman Algorithm
defended at RWTH Aachen, (Germany) in 2020.
Examiners: Martin Grohe, Pascal Schweitzer, Neil Immerman
A detailed report is published in the CSL 2022 proceedings.
The {{year}} Ackermann award was presented to the recipients at the annual conference of the EACSL, CSL 2022, in Göttingen/online.
The Jury consisted of
- Christel Baier (TU Dresden);
- Michael Benedikt (Oxford University);
- Mikolaj Bojanczyk (University of Warsaw);
- Jean Goubault-Larrecq (ENS Paris-Saclay);
- Prakash Panangaden (McGill University);
- Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
- Thomas Schwentick (TU Dortmund), the president of EACSL;
- Alexandra Silva, (University College London), ACM SigLog representative.
Ackermann Award 2020
The Ackermann Award 2020 is given to
Benjamin Lucien Kaminski
for his thesis
Advanced Weakest Precondition Calculi for Probabilistic Programs
defended at RWTH Aachen (Germany) in 2019. Supervisor: Joost-Pieter Katoen
A detailed report will be published in the CSL 2021 proceedings.
The Jury consisted of
- Christel Baier (TU Dresden);
- Michael Benedikt (Oxford University);
- Mikolaj Bojanczyk (University of Warsaw);
- Jean Goubault-Larrecq (ENS Paris-Saclay);
- Prakash Panangaden (McGill University);
- Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
- Thomas Schwentick (TU Dortmund), the president of EACSL;
- Alexandra Silva, (University College London), ACM SigLog representative.
The Award is sponsored by the association Alumni der Informatik Dortmund e.V.
Ackermann Award 2019
- Antoine Mottet
Dichotomies in Constraint Satisfaction Canonical Functions and Numeric CSPs
Technische Universität Dresden (Germany) in 2018, supervisor: Manuel Bodirski
The Jury consisted of
- Christel Baier (TU Dresden);
- Michael Benedikt (University of Oxford);
- Mikolaj Bojanczyk (University of Warsaw);
- Jean Goubault-Larrecq (ENS Paris-Saclay);
- Dexter Kozen (Cornell University);
- Dale Miller (INRIA and Ecole Polytechnique), ACM SigLog representative;
- Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
- Thomas Schwentick (TU Dortmund), the president of EACSL.
A detailed report will be published in the CSL 2020 proceedings.
The Award is sponsored by the association Alumni der Informatik Dortmund e.V.
Ackermann Award 2018
- Amina Doumane
On the Infinitary Proof Theory of Logics with Fixed Points
Université Paris Diderot (France) in 2017, supervisors: David Baelde, Pierre-Louis Curien and Alexis Saurin.
The Jury consisted of
- Christel Baier (TU Dresden);
- Mikolaj Bojanczyk (University of Warsaw);
- Anuj Dawar (University of Cambridge);
- Luke Ong (University of Oxford);
- Dexter Kozen (Cornell University);
- Dale Miller (INRIA and Ecole Polytechnique), ACM SigLog representative;
- Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
- Thomas Schwentick (TU Dortmund), the president of EACSL.
A detailed report is published in the CSL 2018 Proceedings.
The Award is sponsored by the association Alumni der Informatik Dortmund e.V.
Ackermann Award 2017
- Amaury Pouly
École Polytechnique (France) and the Universidade do Algarve (Portugal), in 2015, supervisors: Olivier Bournez and Daniel Graça.Continuous Models of Computation: From Computability to Complexity
The Jury consisted of Anuj Dawar (University of Cambridge), the president of EACSL, Orna Kupferman (Hebrew University of Jerusalem), Daniel Leivant (Indiana University, Bloomington), Dale Miller (INRIA Saclay), SigLog representative, Luke Ong (University of Oxford), Jean-Éric Pin (CNRS and Université Paris 7), Simona Ronchi della Rocca (University of Torino), the vice-president of EACSL,
Thomas Schwentick (TU Dortmund).
A detailed report is published in the CSL 2017 Proceedings.
The Award was sponsored by the association Alumni der Informatik Dortmund e.V.
Ackermann Award 2016
- Nicolai Kraus
University of Notthingham, UK, in 2015, supervisor: Thorsten Altenkirch.
Truncation Levels in Homotopy Type Theory
The Jury consisted of Thierry Coquand (Chalmers University of Gothenburg), Anuj Dawar (University of Cambridge), the president of EACSL, Orna Kupferman (Hebrew University of Jerusalem), Daniel Leivant (Indiana University, Bloomington), Dale Miller (INRIA Saclay), SigLog representative, Luke Ong (University of Oxford), Jean-Éric Pin (CNRS and Université Paris 7), Simona Ronchi della Rocca (University of Torino), the vice-president of EACSL.
A detailed report is published in the CSL 2016 Proceedings.
Ackermann Award 2015
- Hugo Férée (currently TU Darmstadt)Université de Lorraine, France, in 2014, supervisors: Jean-Yves Marion and Mathieu Hoyrup,Complexité d’ordre supérieur et analyse récursive
- Mickael Randour (currently Université Libre de Bruxelles)Université de Mons, Belgium, in 2014, supervisors: Véronique Bruyère and Jean-François Raskin,Synthesis in Multi-Criteria Quantitative Games
The Jury consisted of
Thierry Coquand (Chalmers University of Gothenburg),
Anuj Dawar (University of Cambridge), the president of EACSL,
Dexter Kozen (Cornell University), SigLog representative,
Orna Kupferman (Hebrew University of Jerusalem),
Daniel Leivant (Indiana University, Bloomington),
Luke Ong (University of Oxford),
Jean-Éric Pin (CNRS and Université Paris 7),
Simona Ronchi della Rocca (University of Torino), the vice-president of EACSL.
A detailed report is published in the CSL 2015 Proceedings.
Ackermann Award 2014
- Michael Elberfeld (currently RWTH Aachen)University of Lübeck, Germany, in 2012, supervisor: Till Tantau,Thesis: Space and Circuit Complexity of Monadic Second-Order Definable Problems on Tree-Decomposable Structures
The Jury consisted of
Thierry Coquand (Chalmers University of Gothenburg),
Anuj Dawar (University of Cambridge), the president of EACSL,
Thomas A. Henzinger (IST Austria),
Daniel Leivant (Indiana University, Bloomington),
Damian Niwiński (University of Warsaw),
Luke Ong (University of Oxford), LICS representative,
Simona Ronchi della Rocca (University of Torino), the vice-president of EACSL,
Wolfgang Thomas (RWTH, Aachen).
A detailed report is published in the CSL-LICS 2014 Proceedings (local copy).
Ackermann Award 2013
- Matteo Mio (currently CWI Amsterdam)University of Edinburgh, UK, in 2012, supervisor: Alex Simpson,Thesis: Game Semantics for Probabilistic Modal μ-Calculi
The Jury consisted of
Thierry Coquand (Chalmers University of Gothenburg),
Anuj Dawar (University of Cambridge), the president of EACSL,
Thomas A. Henzinger (IST Austria),
Daniel Leivant (Indiana University, Bloomington),
Damian Niwiński (University of Warsaw),
Catuscia Palamidessi (École Polytechnique, Paris),
Simona Ronchi della Rocca (University of Torino), the vice-president of EACSL,
Wolfgang Thomas (RWTH, Aachen).
A detailed report is published in the CSL’13 Proceedings.
Ackermann Award 2012
- Andrew Polonsky (currently Vrije Universiteit Amsterdam)University of Bergen, Norway, 2011, supervisor: Marc Bezem,Thesis: Proofs, Types and Lambda Calculus.
- Szymon TorunczykUniversity of Warsaw, Poland, 2011, supervisor: Mikolaj Bojanczyk,Thesis: Languages of profinite words and the limitedness problem.
The Jury consisted of
T. Coquand, A. Dawar, T.A. Henzinger, J.-P. Jouannaud, D. Leivant, D. Niwiński, L. Ong, W. Thomas.
A detailed report is published in the CSL’12 Proceedings.
Ackermann Award 2011
- Benjamin Rossman (currently Tokyo Institute of Technology)Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, September 2010 (supervisor: Prof. Madhu Sudan).Thesis: Average Case Complexity of Detecting Cliques
The Jury consisted of
A. Atserias, T. Coquand, A. Dawar, J.-P. Jouannaud, D. Niwiński, L. Ong, P.-L. Curien, W. Thomas, with J. Makowsky as secretary.
A detailed report is published in the CSL’11 Proceedings.
A copy of the citation can be retrieved here .
Ackermann Award 2010
In spite of the high quality of the nominated theses, the Jury finally, and almost unamimously, decided NOT to give an Ackermann Award in 2010.
The Jury would like to emphasize that this decision does not imply that the nominations this year were weaker than in the past. Most of the nominations this year were at the same level as many of the shortlisted nominations in the previous years. Yet none of them had the additional extra quality required for the Ackermann Award.
Jury:
A. Atserias (Barcelona, Spain),
R. Alur (Philadelphia, USA),
J. van Benthem (Amsterdam, The Netherlands),
T. Coquand (Gothenburg, Sweden),
P.-L. Curien (Paris, France),
A. Dawar (Cambridge, U.K., Vice-president of EACSL),
A. Durand (Paris, France),
J.A. Makowsky (Haifa, Israel, Chair of the Jury and Member of the EACSL Board),
D. Niwiński (Warsaw, Poland, President of EACSL) and
G. Plotkin (Edinburgh, U.K., LICS Organizing Committee).
The full text of the Jury’s report may be found in the Proceedings of CSL’2010 (LNCS vol. 6247).
Ackermann Award 2009
- Jakob Nordström (currently MIT)
Royal Institute of Technology, Stockholm, Sweden, May 2008, (supervisor: Prof. Johan Håstad),Thesis: Short Proofs May Be Spacious: Understanding Space in Resolution
Jury:
R. Alur, J. van Benthem, P.-L. Curien, A. Dawar, A. Durand, M. Grohe, M. Hyland, J.A. Makowsky, G. Plotkin, A. Razborov.
A detailed report is published in the CSL’09 Proceedings. A copy can be retrieved here.
Ackermann Award 2008
- Krishnendu Chatterjee (currently NASA SVC and UCSC)
University of California at Berkeley, Fall 2007, (supervisor: Prof. Thomas A. Henzinger),Thesis: Stochastic Omega-Regular Games
Jury:
J. van Benthem, B. Courcelle, M. Grohe, M. Hyland, J. Makowsky, D. Niwiński, G. Plotkin, A. Razborov.
A detailed report is published in the CSL’08 Proceedings. A copy can be retrieved here.
Ackermann Award 2007
- Dietmar BerwangerRWTH Aachen (Advisor: Erich Graedel)Thesis: Games and Logical Expressiveness
- Stéphane LengrandUniversité de Paris VII and University of St. Andrews
(Advisors: Delia Kesner and Roy Dyckhoff)Thesis: Normalization and Equivalence in Proof Theory and Type Theory
- Ting ZhangStanford University (Advisor: Zohar Manna)Thesis: Arithmetic Integration of Decision Procedures
Jury:
S. Abramsky, J. van Benthem, B. Courcelle, M. Grohe, M. Hyland, J. Makowsky, D. Niwiński, A. Razborov.
A detailed report has been published in the CSL’07 Proceedings. A copy can be retrieved here.
Ackermann Award 2006
- Balder ten Cate Amsterdam University (Advisor: Johan van Benthem)Thesis: Model Theory for Extended Modal Languages
- Stefan MiliusTU Braunschweig (Advisor: Jiri Adamek)Thesis: Coalgebras, Monads and Semantics
Jury:
S. Abramsky, B. Courcelle, E. Grädel, M. Hyland, J. Makowsky, D. Niwiński, A. Razborov.
A detailed report has been published in the CSL’06 Proceedings. A copy can be retrieved here.
Ackermann Award 2005
- Mikołaj Bojańczyk
Warsaw University (Advisor: Igor Walukiewicz)Thesis: Decidable Properties of Tree Languages
- Konstantin KorovinUniversity of Manchester (Advisor: Andrei Voronkov)Thesis: Knuth-Bendix orders in automated deduction and term rewritingcitation
- Nathan Segerlind University of California at San Diego (Advisor: Samuel Buss and Russell Impagliazzo)Thesis: New Separations for Propositional Proof Systemscitation
Jury:
S. Abramsky, B. Courcelle, E. Grädel, M. Hyland, J. Makowsky, D. Niwiński, A. Razborov.
A detailed report has been published in the CSL’05 Proceedings. A copy can be retrieved here.