KAUST CEMSE CS PhD Dissertation Defense Mohamed Ibrahim Interactive High Quality Visualization