KAUST CEMSE CS CBRC Maxat Kulmanov Thesis Proposal Defense