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.

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.

12 May 2022
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.

17 March 2022
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.