Peter Schneider-Kamp Co-director, Professor Phone: +45 65 50 23 27 Email: petersk@imada.sdu.dk Webpage: Keywords: Automated reasoning, machine learning, verification, welfare and health innovation.