KAUST CEMSE CS PhD Dissertation Defense Mohammed Al Farhan