KAUST CEMSE CS VCC 2020 Peter Rautek Killing Surfaces