KAUST CEMSE CS PhD Dissertation Defense Ivan Skorokhodov