Lecture 4 - Omar GHATTAS (U. Texas, Austin): Large-scale Bayesian inverse problem case study: Inference of basal friction in flow of the Antarctic ice sheet from InSAR satellite data. - Amphi Darboux