NAYEF HMOUD H ALSHAMMARI
حاصل على دكتوراه في الحوسبة المتوازية والموزعة من جامعة ديمونت فورت في المملكة المتحدة, ماجستير في هندسة البرمجيات من جامعة ديمونت فورت في المملكة المتحدة, و بكالوريوس في علوم الحاسب من جامعة حائل في المملكة العربية السعودية
Experience and administrative positions
Loading...
Qualifications
- 1- دكتوراه في الحوسبة المتوازية و الموزعة
- 2- ماجستير في هندسة البرمجيات
- 3- بكالوريوس في علوم الحاسب
Research interests
الحوسبة المتوازية و الموزعة 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
| Project Name | Project Description |
|---|---|
| لايوجد | لايوجد |
- لايوجد
