KAUST CEMSE CS PhD Dissertation Defense Tariq Alturkestanit