DIREC Seminar 2022

26 – 27 SEPTEMBER 2022

Join this year’s DIREC Seminar with interesting workshops, talks, networking and more. The seminar is relevant for all participants in DIREC workstreams and projects, as well as others who are interested in one or more DIREC workstreams.

If you have suggestions or ideas for topics you want addressed, please feel free to contact the relevant workstream manager.



Monday 26 September


Arrival, croissants and coffee


Welcome by Thomas Riisgaard Hansen, CEO, DIREC and Annemarie Munk Riis, CEO, Innovation Fund Denmark



Marieke Huisman, Professor of Software Reliability at the University of Twente, Holland

Volker Markl, Professor in Database systems, Technische Universität Berlin, Germany



Christian S. Jensen, Aalborg University


Rasmus Pagh, University of Copenhagen

Susanne Bødker, Aarhus University


Brief round of introduction, status of HCI projects in DIREC, ReWork in particular.


An invited talk (name to be announced later). Planning of activities for HCI day in October (Aarhus) 

Jan Madsen, Technical University of Denmark


Kim Guldstrand Larsen, Aalborg University

SESSION 1 11.15-12.45 (Verifikation) 
BRIDGE: Verifiable and Safe AI for Autonomous Systems 

EXPLORE: Automated Verification of Sensitivity Properties for Probabilistic Programs 
EXPLORE:Verifiable and Robust AI 
FUTURE projects:

SESSION 2 13.45-15.15 (Software Engineering) 
BRIDGE: SIOT – Secure Internet of Things – Risk analysis in design and operation 

EXPLORE: DeCoRe: Tools and Methods for the Design and Coordination of Reactive Hybrid Systems

EXPLORE: Certifiable Controller Synthesis for Cyber-Physical Systems 
FUTURE projects: 

Mads Nielsen, University of Copenhagen

Carsten Schürmann, IT University of Copenhagen & Claudio Orlandi, Aarhus University

Morning: Privacy Enhancing Technologies

Afternoon: Blockchain





Workshops – continued


One Minute Madness – Presentation of DIREC projects following Q&A


Networking, drinks, walk


Conference dinner

Tuesday 27 September




Keynote TBA


Coffee break



Mark Riis, Technical University of Denmark


Collaboration on entrepreneurship across universities


  • Recap on WS 13 activities in 2021-2022
  • Digital Tech Summit - results and experiences
  • Young Researcher Entrepreneurship - results and experiences

Which joint activities should we initiate in 2022-2023?

  • DIREC at Digital Tech Summit 2022
  • Other activities in relation to supporting entrepreneurship and collaboration across universities

Mikkel Baun Kjærgaard, University of Southern Denmark

How to gender unbias your teaching
Claus Brabrand  

How to use technology to scale courses to 100+ students without dying
by Md Saifuddin Khalid  

by Ulrik Nymann og Jakob Andersen

Thomas Hildebrandt, University of Copenhagen

Helle Zinner Henriksen, Copenhagen Business School

End of the Rainbow

In this session we will discuss how technical solutions and ideas from some of  the DIREC projects can be diffused to a wider context.

The aim is to illustrate the benefit of addressing tech and business.

Jan Madsen, Technical University of Denmark

Quantum computing is a quickly growing field and we expect viable systems to be available soon. Denmark is one of the leading research environments for quantum research (counted as quantum researchers per capita), Current focus is on physics, i.e., how to develop quantum devices to handle qubits (and more generally using quantum mechanics for sensing and communication), or on mathematics, i.e., theoretically exploring which type of algorithms that in theory might be executed effectively on a quantum computer. 

Today, very few researchers from the Danish computer science environment are actively involved in quantum computing research. As soon as a robust and scalable hardware for the quantum computer is established, an efficient and intuitive software stack is needed to realize its full potential – this software stack must be developed by computer scientist! However, we do not need to wait for the hardware to be ready, in fact, we can already start working on the software stack from current knowledge, such that the methods and tools for quantum software development is ready. This will be crucial for the field of quantum computing to scale. 

Bop Pepin, The Alexandra Institute

We start by presenting different data sources and challenges through lightning talks e.g.

  1. IoT/devices,
  2. markets and coordination between actors, and
  3. infrastructure for PtX.

Then either focus on one aspect or split into working groups, depending on the interests of the participants.




Keynote 3 / Panel debate TBA


  • Lars Bak, Former Head of Google's Development Dept. in Denmark,
  • Steffen Grarup, Uber
  • Kresten Krab Thorup, Founder of Humio
Moderator: Professor Ole Lehrmann Madsen

Lars, Steffen and Kresten are all graduates from department of computer science at Aarhus University. They have all made an impressive careers with high tech comp companies in Silicon Valley and Denmark. These companies include Next Computer, Sun Micro Systems, VMware, Google, and Uber. They have also been involved in a number of start-ups including Animorphic Systems, OOVM, Toitware, Trifork and Humio. These endeavors have resulted in development of a large palette of new innovative digital technologies.

In the panel they will tell us about their experience and highlight the most important lessons from their careers including their life as computer science students. We will ask them about their advice to students and young candidates of today regarding how to get an interesting carrier working with ground-breaking digital technologies and getting them out in successful products.


Concluding remark
Thomas Riisgaard Hansen


End of seminar