Amaury Pouly wins Ackermann Award
June 2017
Amaury Pouly has won the 2017 Ackermann Award, presented annually to the author of an exceptional doctoral dissertation in the area of computer science logic.
Algorithms, Theory & Logic
The algorithms, theory, and logic theme encompasses our research into the mathematical underpinnings of computer science and the application of foundational ideas to concrete applications in many different areas of computer science. Our research spans both algorithms, decidability, and complexity as well as logic, semantics, and proof theory.
