الصفحة الرئيسية

الكلية الجامعية - ضباء \ علوم الحاسب

ابراهيم عمارة النصراوي

نسبة اكتمال الملف الشخصي
الجنسية التونسية
التخصص العام علوم الحاسب
التخصص الدقيق علم البيانات
المسمى الوظيفي أستاذ مساعد
الدرجة العلمية (المرتبة) دكتوراه

نبذه مختصرة

مشرف وحدة التعلم عن بعد و التعليم الإلكتروني أستاذ مساعد في قسم علوم الحاسب

المؤهلات العلمية

شهادة الدكتوراه في علوم الحاسب

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

Software Verification, Formal Methods

الخبرات والمناصب الإدارية

مشرف وحدة التعليم الإلكتروني والتعلم عن بعد في الكلية الجامعية بضباء منذ بداية السنة الجامعية 1439 -1440 إلى الآن مشرف وحدة شؤون الطلاب في الكلية الجامعية بضباء منذ بداية السنة الجامعية خلال السنة الجامعية 1438-1439

الجدول الدراسي
اليوم المادة الوقت
من إلى
الأحد هندسة برمجيات 08:00 10:00
الأحد تصميم منطقي 10:00 12:00
الأحد تقنية الانترنت و الويب 12:00 14:00
الأبحاث والمؤلفات
  • [1] Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana and Tayssir Touili Verifying Multithreaded Recursive Programs with Integer Variables Electronic Notes in Theoretical Computer Science, Volume 239, Pages 143-154 2009
  • [2] Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, and Tayssir Touili Verifying Multithreaded Recursive Programs with Integer Variables In Proc 10th International Workshop on Verification of Infinite-State Systems (INFINITY08) [3]
  • [3] Brahim Nasraoui, Syrine Ayadi and Riadh Robbana SBMC Symmetric Bounded Model Checking In Proceedings of the International Workshop on Verification and Evaluation of computer and Communication systems, VECoS 2010, British Computer Society
  • [4]Brahim Nasraoui and Riadh Robbana, "A Verification Technique Using Communicating Rewriting Systems" In proceeding of ROIS 2013
  • [5] Brahim Nasraoui, Riadh Robbana and Tayssir Touili, "Analysis of Multithreaded Recursive Programs with Floating Point Variables" in VECOS 2013 will be published in BCS
  • [6] Brahim Nasraoui, Riadh Robbana, “Reachability Analysis of Multithreaded Programs using Communicating Rewriting Systems In Proceedings of the MVDA 2016, the 5th IEEE Workshop on Modeling and Verifying Distributed Applications, Atlanta, Georgia, USA
جوائز التميز
  • شهادة شكر وتقدير من عميد كلية العلوم بتونس– جامعة تونس المنار –للمساهمة في أشغال فريق وحدة تدريس شهادة الإعلامية والانترنت موضوعها "التحكم في أنظمة الاتصال والإعلامية والتدريس عن بعد" خلال السنة الجامعية 2007/2008
المشاريع البحثية
اسم المشروع وصف المشروع
لا يوجد لا يوجد
معلومات التواصل
البريد الإلكتروني : bnasraoui@ut.edu.sa