KAUST CEMSE CS CBRC BESE SFB Meshari Alazami Thesis Proposal