Previous Awards

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 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 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 Torunczyk

    University 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

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 Berwanger

    RWTH Aachen (Advisor: Erich Graedel)

    Thesis: Games and Logical Expressiveness

  • Stéphane Lengrand

    Université 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 Zhang

    Stanford 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 Milius

    TU 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

    citation

  • Konstantin Korovin

    University of Manchester (Advisor: Andrei Voronkov)

    Thesis: Knuth-Bendix orders in automated deduction and term rewriting

    citation

  • Nathan Segerlind

    University of California at San Diego (Advisor: Samuel Buss and Russell Impagliazzo)

    Thesis: New Separations for Propositional Proof Systems

    citation

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.