
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.
Here you will find the research news and press releases published by DIREC partners as well as upcoming DIREC events.
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.
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.
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.
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.
1-4 August 2022
At the PPML School 2022 lecturers with both a theoretical and applied background will cover a broad spectrum of subjects such as Multiparty Computation, Fully Homomorphic Encryption, Differential Privacy, Federated Learning as well as practical attacks.
8 September 2022
We will discuss the needs of industry, current solutions and the scientific and technical challenges that are connected to the problem of an efficient re-use of robot data.
26-27 September 2022
Join this year’s DIREC Seminar with interesting workshops, talks, networking and more. The seminar is relevant for all participants in DIREC workstreams and projects, as well as others who are interested in one or more DIREC workstreams.
The aim of DIREC is to expand the capacity within research, innovation and education in digital technologies in Denmark. In addition, DIREC shall contribute to the competitiveness of Denmark through collaboration with Danish businesses and the public sector on developing new innovative products and services based on the newest digital technologies.
DIREC is partially funded by Innovation Fund Denmark.
© 2022 All Rights Reserved