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.
Quantum workshop for digital researchers
27 March 2023
IT University of Copenhagen
NordiCrypt Meetup
23 March 2023
Join the first NordiCrypt meetup at Technical University of Denmark
DIREC annual report 2021
2 March 2022
We have initiated projects for a total of DKK 166 million in which university researchers work together with companies and public organizations to develop new digital technologies.
