Project type: Explore Project

Verifiable and Robust AI

The challenge to the research community is how to extend existing verification technologies to cope with software systems comprising AI components (see report of the Dagstuhl Seminar “Machine Learning and Model Checking join Forces” 2018). This is an unchartered territory and one of the most pressing research challenges in AI. The industrial importance of this topic is closely related to the question of liability in case of malfunctioning products. Over a 4-month period the explore project will provide a state-of-the-art survey and identify research directions to be followed.

Participants

Project Manager

Kim Guldstrand Larsen

Professor

Aalborg Universlty
Department of Computer Science

E: kgl@cs.aau.dk

Thomas Dyhre Nielsen

Professor

Aalborg Universlty
Department of Computer Science

Manfred Jaeger

Associate Professor

Aalborg Universlty
Department of Computer Science

Andrzej Wasowski

Professor

IT University of Copenhagen
Department of Computer Science

Rune Møller Jensen

Associate Professor

IT University of Copenhagen
Department of Computer Science

Peter Schneider-Kamp

Professor

University of Southern Denmark
Department of Mathematics and Computer Science

Jaco van de Pol

Professor

Aarhus University
Department of Computer Science

Thomas Hildebrandt

Professor

University of Copenhagen
Department of Computer Science

Alberto Lluch Lafuente

Associate Professor

Technical University of Denmark
DTU Compute

Flemming Nielson

Professor

Technical University of Denmark
DTU Compute

Thomas Bolander

Professor

Technical University of Denmark
DTU Compute

Thomas Asger Hansen

Head of Analytics and AI

Grundfos

Christian Rasmussen

Senior Manager Data Analytics

Grundfos

Malte Skovby Ahm

Research and business lead

Aarhus Vand

Partners