Ahmed BouajjaniProfesseur à l'Université de Paris, membre de l'IRIF
Membre IUF senior/Chaire fondamentale
Ahmed Bouajjani est Professeur à l'Université Paris Diderot et mènent ses travaux de recherche au sein de l'Institut de Recherche en Informatique Fondamentale (IRIF - CNRS/Université Paris-Diderot). Il est responsable du pôle Automates, Structures et Vérification à l'IRIF et membre de l'équipe Modélisation et Vérification.