نايف حمود هليل الشمري
حاصل على دكتوراه في الحوسبة المتوازية والموزعة من جامعة ديمونت فورت في المملكة المتحدة, ماجستير في هندسة البرمجيات من جامعة ديمونت فورت في المملكة المتحدة, و بكالوريوس في علوم الحاسب من جامعة حائل في المملكة العربية السعودية
الخبرات والمناصب الإدارية
Loading...
المؤهلات العلمية
- 1- دكتوراه في الحوسبة المتوازية و الموزعة
- 2- ماجستير في هندسة البرمجيات
- 3- بكالوريوس في علوم الحاسب
الاهتمامات البحثية
الحوسبة المتوازية و الموزعة Parallel and Distributed Computing
المنطق الزمني Temporal Logic
الحوسبة الكمومية Quantum Computing
الأنظمة المنتشرة والحوسبة المكانية Pervasive Systems and Ubiquitous Computing
الذكاء الإصطناعي وتعلم الآلة Artificial Intelligence and Machine Learning
Loading...
- Alshammari, Nayef H "Message-Passing Based Communication via Synchronous Execution (Channels)" In 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), pp 1483-1489 IEEE, 2020
- Alshammari, Nayef Hmoud "Formal Specification and Runtime Verification of Parallel Systems Using Interval Temporal Logic (ITL)" PhD diss, De Montfort University, 2018
| اسم المشروع | وصف المشروع |
|---|---|
| لايوجد | لايوجد |
- لايوجد
