KAUST CEMSE AMCS STAT Graduate Seminar Konrad Grabiszewski Backward induction from theory to empirics