CS-Kolloquium: Franz Franchetti “Formal Software Synthesis of Computational Kernels” Franz Franchetti