Joël Ouaknine appointed EATCS Fellow
Joël Ouaknine was appointed as a Fellow by the European Association for Theoretical Computer Science, for his fundamental contributions to the algorithmic analysis of dynamical systems and related formalisms.
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.
