KAUST CEMSE CS PhD Dissertation Defense Guohao Li