KAUST CEMSE CS PhD Dissertation Defense Zhuo Yang