Here you can sign up for upcoming DIREC TALKS and watch former talks.
9 December 2021
In this DIREC talk Kim Guldstrand Larsen will present and discuss how to combine formal verification and AI in order to obtain optimal AND guaranteed safe strategies.
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.
© 2021 All Rights Reserved
