KAUST CEMSE CS Course Michal Mankowski Lecture 3