KAUST CEMSE CS PhD Dissertation Defense Rameen Abdal