Prof. Adel Bouhoula

Professor of Computer Science

Head of Information Technology Department

College of Education, Administrative, and Technical Sciences


a.bouhoula@agu.edu.bh
البريد الإلكتروني
السيرة الذاتية تحميل
الباحث العلمي (جوجل)
 
مختصر السيرة الذاتية

     Prof. Bouhoula is a Senior Computer Scientist with thirty years of high-level academic and managerial achievements at several world-renowned institutions. He has previously held various prominent positions, including Visiting Professor at the University of Tsukuba (Japan) for over a decade, Visiting Researcher at the Mitsubishi Research Institute (MRI, Tokyo, Japan), and Visiting Researcher at the Stanford Research Institute (SRI International, California, USA). Additionally, he served as a Senior Researcher at the French National Institute for Research in Digital Science and Technology (INRIA, Nancy, France), and Chairman and CEO of the Research Institute for Computer Science and Telecommunication in Tunisia. Prof. Bouhoula owns three patents and has published over 200 articles in leading international journals, conferences, and refereed workshops.  Prof. Bouhoula has made significant contributions to prestigious A* conferences such as the International Joint Conference on Artificial Intelligence (IJCAI), Computer Aided Verification (CAV), and the ACM/IEEE Symposium on Logic in Computer Science (LICS). 

التعليم الأكاديمي
  • Habilitation degree in Computer Science, Henri Poincare University in Nancy (France), 1998.
  • Ph.D. in Computer Science, Henri Poincare University in Nancy (France), 1994.
  • M.Sc. in Computer Science, Henri Poincare University in Nancy (France), 1991.
  • Bachelor's degree in Computer Engineering, Faculty of Sciences of Tunis (Tunisia), 1990.
الإهتمامات البحثية
البحوث المختارة
  1. Sondes Ksibi, Faouzi Jaidi, and Adel Bouhoula. MLRA-Sec: An Adaptive and Intelligent Cyber-Security-Assessment Model for Internet of Medical Things (IoMT). International Journal of Information Security. 24(1), 2025. (Q1)
  2. Adel Bouhoula and Miki Hermann. Primal Grammars Driven Automated Induction. In the Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024). Jeju (South Korea). Pages 3259-3269. August 2024. (Rank A*)
  3. Takoua Kefi-Fatteh, Riadh Ksantini, Mohamed Bécha Kaâniche, Adel Bouhoula. A novel incremental one-class support vector machine based on low variance direction. Pattern Recognition. 91: 308-321, 2019. (Q1)
  4. Adel Bouhoula. Simultaneous Checking of Completeness and Ground Confluence for Algebraic Specifications. ACM Transactions on Computational Logic, 10(3), 2009. (Q1)
  5. Adel Bouhoula, Jean-Pierre Jouannaud, and José Meseguer. Specification and Proof in Membership Equational Logic. Theoretical Computer Science, 236(1-2):35--132, 2000. (Q1)