March 22, 2026
Joël Ouaknine appointed EATCS Fellow
MPI-SWS scientific director Joël Ouaknine was appointed as a Fellow by the European Association for Theoretical Computer Science (EATCS). Joël, who leads the “Foundations of Algorithmic Verification” research group, was appointed EATCS fellow for “fundamental contributions to the algorithmic analysis of dynamical systems and related formalisms.”
The EATCS Fellows Program was established by the association in 2014 to recognize outstanding EATCS members for their scientific achievements in the field of Theoretical Computer Science.
Further Information: