KAUST CEMSE CS Graduate Seminar Ivan Viola