Dexter Kozen, tidligere gæsteprofessor ved DIKU har modtaget EATCS Award 2016
Dexter Kozen fra Cornell University, USA, har modtaget EATCS Award 2016 for sit fundamentale bidrag til hele spektret af forskning inden for computer science.
EATCS Award komiteen bestående af Fedor Fomin, Kim G. Larsen (chair) and Jean-Eric Pin har valgt DIKUs tidligere gæsteprofessor Dexter Kozen som modtager af dette års EATCS award 2016. Deres begrundelse er bl.a.:
The committee has acknowledged Kozen as "the" theoretical computer scientist with significant contributions to the field, including "the most succinct and beautiful proof imaginable of completeness for PDL, a stunning treatment of the far more challenging mu-calculus and the elegant treatment of logics of programs in the setting of Kleene algebra." One of the Kozen's first contributions to the scientific community was the definition of the notion of alternating Turing machine, a complexity theory that made it possible to connect time and space complexity. "The results were viewed as so significant that they were made part of the graduate curriculum in complexity theory," said the awarding committee.