Ackermann Award 2026
The Ackermann Award 2026 is bestowed on
Keya Prakash
for the thesis
History-Deterministic Parity Automata: Games, Complexity, and the 2-Token Theorem
supervised by Marcin Jurdzinski at the University of Warwick (UK).
AND
Axel Ljungström
for the thesis
Synthetic approaches to cohomology, homology and homotopy
supervised by Anders Mörtberg at the University of Stockholm (Sweden), respectively.
A detailed report is published in the CSL 2027 proceedings.
The 2026 Ackermann award is presented to the recipients at the annual conference of the EACSL, CSL 2027, in Brighton.
The Jury consisted of
- Albert Asterias (Technical University of Catalonia),
- Christel Baier (TU Dresden),
- Andrej Bauer (University of Ljubljana),
- Javier Esparza (TU Munich),
- Maribel Fernandez (King’s College London), president of EACSL,
- Jean Goubault-Larrecq (ENS Paris-Saclay),
- Joost-Pieter Katoen (RWTH Aachen University), ACM SigLog representative,
- Delia Kesner (IRIF, U Paris Cite),
- Slawomir Lasota (U Warsaw),
- Florin Manea (U Göttingen), vice-president of EACSL,
- Prakash Panangaden (McGill University).