Få den nyeste viden om digitale teknologier præsenteret af forskere, der er tilknyttet DIREC.

6. oktober 2022

Can cryptographic algorithms affect legal doctrines?

Professor Ran Canetti

DIREC TALK: 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 doctrines remain unchanged – and guide us in regulating and harnessing technology.

Watch on Youtube

30. september 2022

Software Tools for Quantum Computing

Professor Robert Wille

DIREC TALK: Quantum computers have the potential to solve certain tasks that would take millennia to complete even with the fastest (conventional) supercomputer. However, while impressive accomplishments can be observed in the physical realization of quantum computers, the development of automated methods and software tools that provide assistance in the design and realization of applications for those devices is at risk of not being able to keep up with this development anymore.

Watch on Youtube

2. juni 2022

Changing the Game: How Data Science has Transformed the Games Industry

Professor Anders Drachen

DIREC TALK: 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.

Watch on Youtube

25. maj 2022

How corona changed distributed work – The future challenges in hybrid work

Professor Pernille Bjørn

DIREC TALK: The corona pandemic changed the perspective on how organizations think about the challenges in collaboration across geographical distance.

Watch on Youtube

21. marts 2022

Software Engineering of Mobile, Ubiquitous and Robotic Systems

Professor Mikkel Baun Kjærgaard

DIREC TALK: 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.

Watch on Youtube

25. februar 2022

Graph Models for Knowledge, Regulations, Rules and Processes

Professor Thomas Hildebrandt

DIREC TALK: 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.

Watch on Youtube

2021

13. december 2021

Formal Verification and Machine Learning Joining Forces

Professor Kim Guldstrand Larsen

DIREC TALK: The growing pervasiveness of computerised systems such as intelligent traffic control or energy supply makes our society vulnerable to faults or attacks on such systems. Rigorous software engineering methods and supporting efficient verification tools are crucial to encounter this threat.

Watch on Youtube

27. september 2021

How can we encourage more women to study computer science?

Associate Professor Claus Brabrand

DIREC TALK: Women are widely underrepresented in Computer Science. We will consider why this is a problem from a societal, institutional, and individual level.

Watch on Youtube