Adel Bouhoula is a Senior Computer Scientist specialized in Formal methods and Cybersecurity with more than twenty-five years of high-level academic and managerial achievements in several world-known and reputed institutions. Prof. Bouhoula owned three patents and has published over 180 articles in leading international journals, conferences and refereed workshops. Adel Bouhoula received in 1990 a Computer Engineering degree with Distinction from the University of Tunis (Tunisia). He received a Master’s degree, PhD with Distinction and Habilitation degree (French diploma to direct studies and research, it must be obtained prior to applying to full professorships) in computer science from Henri Poincare University in Nancy (France), in 1991, 1994 and 1998, respectively.