KAUST CEMSE CS PhD Dissertation Defense Fatima Zohra Smaili