KAUST CEMSE Graduate seminar AMCS STAT David Ketcheson Backward Error Analysis