DIREC TALKS: Graph Models for Knowledge, Regulations, Rules and Processes

Thomas Hildebrandt presents 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.
DIREC TALKS: Formal Verification and Machine Learning Joining Forces

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.
DIREC TALKS: How can we encourage more women to study computer science

Women are widely underrepresented in Computer Science. We will consider why this is a problem from a societal, institutional, and individual level.
DIREC TALKS: Can cryptographic algorithms affect legal doctrines?

Legal principles, philosophy and doctrines are the pillars of modern society. It is tempting to believe that, while specific laws and regulations adapt to the particular technologies of the time, the basic legal principles and doctrines remain unchanged – and guide us in regulating and harnessing technology.
DIREC TALKS: Changing the Game: How Data Science has Transformed the Games Industry

The interactive entertainment industry has grown dramatically in the past decade and is recently projected to reach 230 billion USD in global yearly revenue, making it one of the super-heavyweight sectors in entertainment. Estimates place the number of people worldwide who currently play computer games at over 4 billion.
DIREC TALKS: How corona changed distributed work – The future challenges in hybrid work

Professor Pernille Bjørn from University of Copenhagen will take us though the different frameworks and discuss the fundamental challenges in distributed and hybrid work before she presents potential ideas for how to move forward in an organization in terms of future work situations.
DIREC TALKS: Software Engineering of Mobile, Ubiquitous and Robotic Systems

Software engineers developing mobile, IoT, wearable and ubiquitous systems are faced with a range of challenges, e.g. to create useful solutions that help users. Mikkel Baun Kjærgaard presents engineering tactics and open-source software technologies that help implement tactics in practice.