KAUST CEMSE CS PhD Dissertation Defense Masheal Alghamdi