KAUST-CEMSE-AMCS-Seminar-Jakub-Several-derivations