Project type: Bridge Project

Verifiable and Safe AI for Autonomous Systems

Partners

Key project partipants:

  • Kim Guldstrand Larsen & Thomas Dyhre Nielsen, Aalborg University
  • Andrzej Wasowski, IT University of Copenhagen
  • Grundfos
  • Seluxit
  • Aarhus Vand
  • HOFOR

Project period
March 1, 2021 – March 1, 2024
– 3 years

Budget
Total budget DKK 9,12 million
DIREC investment DKK 3,73 million

Kim Guldstrand Larsen
Professor


Department of Computer Science
Aalborg University

E: kgl@cs.aau.dk
T: +45 99 40 88 93