We will offer module CS6218 on "Ensuring the Correctness and Reliability of Data-Centric Systems" next semester. Aug 1, 2022 1 min read More information about the module is provided on the Canvas page. Manuel Rigger Faculty Manuel is an Assistant Professor and leads the group.