KAUST CEMSE CS PhD Dissertation Defense Dmitry Kovalev