سعودي يفوز بجائزة "أفضل رسالة دكتوراه في العالم" في هندسة البرمجيات