Talks - titles, abstracts and bios

 Talks - titles, abstracts and bios

15.50 - 16.00

Mads Nielsen, Head of Department, DIKU: What's new at DIKU?


Mads Nielsen is professor and since 2016 heading the Department of Computer Science (DIKU) at the University of Copenhagen (UCPH). Mads has previously been head of the Image Research Group at – and was also one of the pioneers behind - the IT University of Copenhagen (ITU, 1999). In 2007 Mads joined a professorship at DIKU and built up an Image research section, which he headed until 2016, where he took over as Head of Department at DIKU. Mads (and DIKU's study management) has in 2019 successfully launched two new educations (CS-Economy and Data Science and ML).

Concurrently with his academic career, Mads has built up more startup companies, including Synarc Imaging Technologies Ltd. (since 2009), Biomediq (since 2011), and most recently Cerebriu (since 2018), all based on medical imaging technologies.
Mads has, moreover, collaborated extensively with private and public organisations outside the academic world and has played an active role in enhancing UCPH’ business collaboration and branding activities, i.a. via DIKU Business Club (est. 2009).

16.00 - 16.40

Professor and Dean at of the Faculty of Social Science Mikkel Vedby Rasmussen
Titel: On Robots and Generals – Decision-Making in a time of Automated Security


More than in any other field, security policy is defined by events. At the moment Iran highjacks a tanker in the Strait of Hormuz, terrorists detonate a bomb in Brussels or Chinese troops masses outside Hong Kong. Decision-makers have to act and the action they take is defined by the complexity of the moment. Technology is making it possible to reduce the level of complexity by means of algorithms and technology makes it possible to reduce the risk for soldiers and policemen in dangerous situations by deploying robots in their stead. This means new challenges as to how to make decisions on security issues in particular and in politics in general.

In this talk I want to demonstrate the synergies by combining a social science perspective and a computer science perspective.


Mikkel Vedby Rasmussen, professor and Dean of the Faculty of Social Science, University of Copenhagen was previously Head of the Department of Political Science at UCPH and Head of Policy Development at the Danish Ministry of Defense. Rasmussen founded the Centre for Military Studies, also at the University of Copenhagen.

He studied political science at the University of Copenhagen and International Relations at the London School of Economic. He has published widely on international security, risk and strategy. His latest book is The Military’s Business (Cambridge, 2015).

16.40 - 17.05

Associate professor Ken Friis Larsen, DIKU: The Revolution of Verified Software: How Formal Methods Eliminate Security Bugs in Today's Systems - or how to avoid hacking using formal methods.


Formal methods have long offered the promise of software that doesn’t have exploitable bugs. However, verifying real software of sufficient complexity has been elusive. Over the last few years, that situation has changed.

This talk will present some of the recent results such as an open-source microkernel OS efficient enough to be used in a wide range of practical applications, proven to be fully functionally correct, ensuring the absence of buffer overflows, null pointer exceptions, use-after-free errors, and to enforce integrity and confidentiality properties. A verifying C compiler that has been proven to compile C programs to provably equivalent assembly language, ensuring the absence of exploitable bugs in the compiler.


Ken Friis Larsen is associate professor at DIKU in the Section of Programming Languages and Theory of Computing.

17.05 - 17.20 Break
17.20 -17.45

Marya Akhtar, Senior Legal Advisor at The Institute for Human Rights.
Are human rights challenged, when public authorities use automated decision making?


This talk deals with the challenges arising from the use of automated or semi-automated decision making tools in relation to:
1) The right to privacy
2) The prohibition of discrimination and
3) Due process and rule of law principles.


Marya Akhtar is Senior Advisor at the Institute for Human Rights specialising in:  Privacy; protection of personal data; the role of the socalled tech giants and human rights; AI and Big Data; constitutional law; protection of human rights in the European Union. 

17.45 -18.10

Thomas Hildebrandt, Professor, Department of Computer Science, University of Copenhagen

Pro-active Security and Privacy in Computer-supported Case Management

Computer-supported case management most often involves handling personal data. So-far, security and privacy has mostly been a matter of controlling access rights. However, the increasing volume of personal data and use of computer-supported, and possibly even automated case work,  puts raises new demands for handling security and privacy in computer-supported case work. This talk will present how we deal with this issue in the and PACTA research projects taking an inter-disciplinary approach, combining ethnographical studies of work practices with formal methods in computer science for development of adaptive case management technologies for knowledge workers in public administration.


Thomas Hildebrandt is professor of Computer Science at DIKU and head of the Software, Data, People & Society Research Section. Thomas performs research in software technologies based on formal process models and methods for developing flexible information systems that can be continuously adapted and are ready for the complexity of human needs, including a changeable legislation with room for discretion, and at the same time offer possibilities for increasing the quality, safety and effectiveness of workflows and business processes. More info aboutThomas Hildebrandt

18.10 -18.35 Henrik G. Jensen, Lead Data Scientist at Securitas AB:
Risiko i tid og sted - data science i verdens største sikkerhedsselskab.


Henrik Grønholdt Jensen is DIKU Alumnus. In 2018 he obtained his PhD degree in computer science and medical image analysis from DIKU. Currently he is lead data scientist at Securitas Intelligent Services in Malmö, in charge of building the future of intelligent guarding, crime prediction and safety services.

Henrik specialises in data processing and analysis based on his experience within data-mining, machine learning, and computational biology. The current focus is on predictive analysis and machine learning.

18.35 ff Tapas og drinks