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.
News and events
Here you will find the research news and press releases published by DIREC partners as well as upcoming DIREC events.
31 March 2022
25 February 2022
Tung Kieu came to Denmark as a PhD student and today he works as Assistant Professor at the Department of Computer Science at Aalborg University. He is associated with DIREC’s workstream Advanced and Efficient Big Data Management and Analysis.
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.
3 February 2022
Eight young researchers have just received grants for new research projects in digital technologies. The grants will ensure research in topics such as optimization of programming languages, bias in large data sets, verification of algorithms and energy optimization of hardware and software.
17 January 2022
Tijs is Associate Professor at the Department of Computer Science at the University of Copenhagen and Head of the Business Process Modeling and Intelligence research group. In DIREC, he works on the Bridge project AI and Blockchains for Complex Business Processes.