KAUST CEMSE CS PhD Dissertation Defense Yuxi Hong