KAUST CEMSE CS PhD Dissertation Defense Liang Zhang