Intelligent technology must help prevent a repeat of the floods of 2011 and 2013
13 April 2023
Denmark must prepare for more extreme weather in the future. By using machine learning and artificial intelligence, researchers will effectively be able to prevent floods.
Meet Martin Zimmermann whose research focus is on verification tools
31 March 2022
Zimmermann is part of the project Verifiable and Safe AI for Autonomous Systems and he works on understanding the foundations of correct and secure systems.
Meet Christian Schilling, who has come to Denmark to build software that can check other software for errors
21 February 2022
Today we have cyber-physical software systems everywhere in our society, from thermostats to intelligent traffic management and water supply systems. It is therefore crucial to develop verification software that can check these programs for errors before they are put into operation.
