KAUST CEMSE CS Course Michal Mankowski Lecture 1