NHR Summerschool Correctness and CI