KAUST CEMSE CS PhD Dissertation Defense Guoqing Ma