Bio : Ahmed Bouajjani is Professor at the University of Paris. He obtained his PhD and his Habilitation in Computer Science from the University of Grenoble where he was Associate Professor. He has then been affiliated with CNRS before being appointed in 1999 Professor at the University of Paris (formerly Paris 7) where he was leading the “Modeling and Verification” team, and he is leading currently the “Automata, Structures, and Verification” research cluster. His main research interests are formal verification and concurrency. He has published more than 140 scientific articles. Ahmed Bouajjani is Senior Member of the Institut Universitaire de France since 2013. He received in 2018 the Humboldt Research Award. He is co-founder of the College of Computing at UM6P (Benguerir and Rabat).