أستاذ مساعد في قسم علوم الحاسب في كلية علوم الحاسب والمعلومات
حاصل على شهادة دكتوراه من قسم علوم الحاسب في جامعة كاليفورنيا سانتا باربرا في تخصص التحقق من البرمجيات (Software Verification) في عام ١٤٣٥ هـ - ٢٠١٤ م
حاصل على شهادة الماجستير من قسم علوم الحاسب في جامعة كاليفورنيا سانتا باربرا في تخصص التحقق من خدمات الشبكة العنكبوتية (Verification of Web Services) في عام ١٤٢٩ هـ - ٢٠٠٨ م
حاصل على شهادة البكالوريوس مع مرتبة الشرف الأولى من قسم علوم الحاسب في جامعة الملك سعود في عام ١٤٢٣ هـ - ٢٠٠٣ م