KAUST CEMSE CS Trees Michal Mankowski