Loading page content
!
!

الأستاذ الدكتور عادل بوحولة

نبذة تعريفية

الخلفية الأكاديمية

الاهتمامات البحثية

منشورات علمية مختارة

نبذة تعريفية

الأستاذ الدكتور بوحولة هو عالم حاسوب أول يتمتع بثلاثين عامًا من الإنجازات الأكاديمية والإدارية الرفيعة المستوى في العديد من المؤسسات العالمية المرموقة. وقد شغل سابقًا مناصب بارزة مختلفة، بما في ذلك أستاذ زائر في جامعة تسوكوبا (اليابان) لأكثر من عقد من الزمان، وباحث زائر في معهد ميتسوبيشي للأبحاث (MRI، طوكيو، اليابان)، وباحث زائر في معهد ستانفورد للأبحاث (SRI International، كاليفورنيا، الولايات المتحدة الأمريكية). بالإضافة إلى ذلك، عمل باحثًا أول في المعهد الوطني الفرنسي للبحث في العلوم والتكنولوجيا الرقمية (INRIA، نانسي، فرنسا)، ورئيسًا ومديرًا تنفيذيًا لمعهد أبحاث علوم الحاسوب والاتصالات في تونس. يمتلك الأستاذ الدكتور بوحولة ثلاث براءات اختراع وقد نشر أكثر من 200 مقال في المجلات والمؤتمرات وورش العمل الدولية الرائدة والمحكمة. وقد قدم الأستاذ الدكتور بوحولة مساهمات كبيرة في مؤتمرات A* المرموقة مثل المؤتمر الدولي المشترك للذكاء الاصطناعي (IJCAI)، والتحقق بمساعدة الحاسوب (CAV)، وندوة ACM/IEEE حول المنطق في علوم الحاسوب (LICS).

الخلفية الأكاديمية

• شهادة التأهيل في علوم الحاسوب، جامعة هنري بوانكاريه في نانسي (فرنسا)، 1998.
• دكتوراه في علوم الحاسوب، جامعة هنري بوانكاريه في نانسي (فرنسا)، 1994.
• ماجستير في علوم الحاسوب، جامعة هنري بوانكاريه في نانسي (فرنسا)، 1991.
• بكالوريوس في هندسة الحاسوب، كلية العلوم بتونس (تونس)، 1990.

الاهتمامات البحثية

• الأمن السيبراني
• الذكاء الاصطناعي
• الأساليب الرسمية

منشورات علمية مختارة

1. سندس قسيبي، فوزي جعيدي، وعادل بوحولة. MLRA-Sec: نموذج تكيفي وذكي لتقييم الأمن السيبراني لإنترنت الأشياء الطبية (IoMT). المجلة الدولية لأمن المعلومات. 24(1), 2025. (Q1)
2. عادل بوحولة وميكي هيرمان. الاستدلال الآلي المدفوع بالقواعد الأولية. في وقائع المؤتمر الدولي المشترك الثالث والثلاثين للذكاء الاصطناعي (IJCAI 2024). جيجو (كوريا الجنوبية). الصفحات 3259-3269. أغسطس 2024. (تصنيف A*)
3. تقوى كافي-فاتح، رياض قسنطيني، محمد بيشا قانيش، عادل بوحولة. آلة دعم متجه أحادية الفئة تزايدية جديدة تعتمد على اتجاه التباين المنخفض. التعرف على الأنماط. 91: 308-321, 2019. (Q1)
4. عادل بوحولة. التحقق المتزامن من الاكتمال والتقارب الأرضي للمواصفات الجبرية. معاملات ACM في المنطق الحسابي، 10(3)، 2009. (Q1)
5. عادل بوحولة، جان بيير جونود، وخوسيه ميسيغير. المواصفات والإثبات في منطق المعادلات العضوية. علوم الحاسوب النظرية، 236(1-2):35--132، 2000. (Q1)

منشورات

علمية مختارة