KAUST CEMSE CS PhD Dissertation Defense Qiannan Zhang