أستاذ
أ.د. خالد محمد الصادق بسيس
البرمجة وعلوم الحاسب هندسة وعلوم الحاسب بالخرج - علوم الحاسبنظرة عامة
أ.د. خالد محمد الصادق بسيس عضو هيئة تدريس في تخصص البرمجة وعلوم الحاسب بكلية هندسة وعلوم الحاسب بالخرج في جامعة الأمير سطام بن عبدالعزيز، ويسهم في دعم مسيرة التعليم والتعلم من خلال تقديم المقررات الأكاديمية، والمشاركة في الأنشطة والبرامج التعليمية، ودعم تطوير مهارات الطلبة وتعزيز معارفهم في مجال البرمجة وعلوم الحاسب
المؤهلات العلمية
بكالوريوس علوم الحاسب الالي
علوم الحاسب الالي - البرمجة وعلوم الحاسب
جامعة تونس المنار — تونس
1998
ماجستير علوم الحاسب الالي
علوم الحاسب الالي - البرمجة وعلوم الحاسب
جامعة نانسي — فرنسا
1993
دكتوراه علوم الحاسب الالي
علوم الحاسب الالي - البرمجة وعلوم الحاسب
جامعة نانسي — فرنسا
1992
التدرج الأكاديمي
أستاذ
Computer Sciences
2016
الاهتمامات البحثية
RESEARCH, TEACHING INTERESTS
• Data and program specification
• Semantics of declarative programs
• Program design and verification
• Computer science foundations
• Algorithmic and heuristic programming
• Automatic Transformation of Declarative programs
• Automatic Deduction of implicative properties
• Correction of faulty conjectures
• Program Synthesis
• Compiler Construction techniques
• Calculability
• Logic in Computer Science
• Artificial Intelligence
الأبحاث المنشورة
عرض جميع الأبحاث (0)المقررات الدراسية
2 مقررات| رمز المقرر | اسم المقرر |
|---|---|
| 4321 عال | لغات البرمجة والمترجمات |
| 2401 عال | النظرية الحسابية |
لا توجد نتائج مطابقة
جرّب كلمة بحث أخرى أو امسح الحقل لعرض جميع المقررات