Watch upcoming and previous DIREC TALKS here.
10 February 2022
In this DIREC talk, Thomas Hildebrandt will present how graph models can be used for representation of machine-readable regulations, rules and distributed processes in a flexible and maintainable way supporting both human understanding and automated execution.
9 December 2021
In this DIREC talk Kim Guldstrand Larsen presents and discusses how to combine formal verification and AI in order to obtain optimal AND guaranteed safe strategies.
23 September 2021
Women are widely underrepresented in Computer Science. We will consider why this is a problem from a societal, institutional, and individual level.
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
