Appointment of Yamine Ait-Ameur to the National Research Agency (ANR)

We send our congratulations to our colleague Yamine Ait Ameur, appointed as of September 2021, head of the Digital and Mathematical Department of the French National Research Agency (ANR).

Yamine Ait Ameur, is a professor at ENSEEIHT-Toulouse INP and a member of the Reliability Systems and Software department of IRIT, which he was in charge of until this appointment.

His research work in the ACADIE team focuses on the implementation of formal methods for the verification and validation of systems, whether software, hardware or hybrid.