FINM 32850 1 (Autumn 2017) Case Studies in Computing for Finance