Kategorier
Explore project

Cyber-Physical Systems with Humans in the Loop

Project type: Explore Project

Cyber-Physical Systems with Humans in the Loop

Constructing cyber-physical systems with humans in the loop is important in many application areas to enable a close co-operation between humans and machines. However, there are also many challenges to overcome when constructing such systems with current software technologies and human-centered design approaches. To foster collaboration on the topic the project will study state-of-the-art and map out challenges which is important for Danish industry to address in future work.

Participants

Project Manager

Mikkel Baun Kjærgaard

Professor

University of Southern Denmark
The Maersk Mc-Kinney Moller Institute

E: mbkj@mmmi.sdu.dk

Jan Madsen

Professor

Technical University of Denmark
DTU Compute

Peter Gorm Larsen

Professor

Aarhus University
Department of Electrical and Computer Engineering

Torkild Clemmensen

Professor

Copenhagen Business School
Department of Digitalization

Kim Guldstrand Larsen

Professor

Aalborg University
Department of Computer Science

Kategorier
Explore project

Re-Use of Robotic-data in Production through search, simulation and learning

Project type: Explore Project

Re-Use of Robotic-data in Production through search, simulation and learning

We investigate – in close co-operation with three Danish companies, the cluster organization Odense Robotics and the research platform MADE – underlying problems of data re-use on assembly in production.

In contrast to other fields in AI, the potential of exploiting large data collections is not realized in robotics yet. We aim to analyze the underlying scientific and technical challenges as well as associated legal and privacy issues by means of three half days meetings of university partners and companies, one public workshop, and the preparation of four deliverables.

Participants

Project Manager

Norbert Krüger

Professor

University of Southern Denmark
The Maersk Mc-Kinney Moller Institute

E: norbert@mmmi.sdu.dk

Aljaz Kramberger

Assistant Professor

University of Southern Denmark
The Maersk Mc-Kinney Moller Institute

Jakob Wilm

Associate Professor

University of Southern Denmark
The Maersk Mc-Kinney Moller Institute

Mikkel Baun Kjærgaard

Professor

University of Southern Denmark
The Maersk Mc-Kinney Moller Institute

Anders Lyhne Kristensen

Professor

University of Southern Denmark
The Maersk Mc-Kinney Moller Institute

Kenny Erleben

Associate Professor

University of Copenhagen
Department of Computer Science

Sune Darkner

Associate Professor

University of Copenhagen
Department of Computer Science

Thomas Dyhre Nielsen

Professor

Aalborg University
Department of Computer Science

Alvaro Torralba

Associate Professor

Aalborg University
Department of Computer Science

Kategorier
Explore project

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

Project type: Explore Project

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

A recurring problem of digitalised industries is to design and coordinate hybrid systems that include IoT (Internet of Things), edge, and cloud solutions. Currently adopted methods and tools are not effective to this end, because they rely too much on informal specifications that are manually written and interpreted by humans.

We aim at exploring the applicability of forefront technologies and methods developed at SDU, KU, and AAU for the design of reactive hybrid IoT-edge-cloud architectures in Danish industry. These technologies are based on unambiguous formal languages, which can be processed by computers to check for desirable design properties (such as compatibility of software interfaces) and to deploy components for monitoring the correct functioning of systems. Adopting these techniques has shown to substantially increase the productivity of digital industries (for example, up to 4x increase in development speed).

We will: (a) carry out a concrete use case with a partner company (Sanovo Technology Group); (b) initiate knowledge sharing on this topic among AAU, KU, and SDU through workshops; and (c) communicate our findings to the rest of the DIREC community.

Participants

Project Manager

Fabrizio Montesi

Professor

University of Southern Denmark
Department of Mathematics and Computer Science

E: fmontesi@imada.sdu.dk

Thomas Troels Hildebrandt

Professor

University of Copenhagen
Department of Computer Science

Kim Guldstrand Larsen

Professor

Aalborg University
Department of Computer Science

Kategorier
Explore project

Initiatives to improve recruitment and retention of IT students

Project type: Explore Project

Initiatives to improve recruitment and retention of IT students

Denmark needs more IT specialists. But how do we get more young people to study computer science and become IT specialist? This project, consisting of two subprojects, focuses on initiatives that can improve both recruitment and retention of a larger but also more diverse group of young people e.g., female students and students without prior programming experience.

The first subproject Diversity or Not: Heterogeneous vs Homogeneous Student Groups? will study the effect of diversity on the formation of CS student groups. The intent is to uncover evidence to issue recommendations on how to best form project groups. We expect this knowledge to be beneficial for the recruitment and retention of students as well as for the diversity of students.

The second subproject D-Pop – A Danish Annual Programming and Problem Solving Event will plan, organize, and implement physical D-Pop events at Danish CS departments aimed at young people who are beginning programmers at all levels. The participants get increased programming skills and another perspective on programming and problem solving because focus is on collaboration, creativity, and curiosity.

We expect the events to have a positive effect on recruitment and retention of students as well as for the diversity of students.

Participants

Project Manager - project 1

Claus Brabrand

Associate Professor

IT University of Copenhagen
Department of Computer Science

E: brabrand@itu.dk

Project Manager - project 2

Thore Husfeldt

Professor

IT University of Copenhagen
Department of Computer Science

E: thore@itu.dk

Louise Barkhuus

Professor

IT University of Copenhagen
Department of Computer Science

Kim Normann Andersen

Professor

Copenhagen Business School
Department of Digitalization

Jacob Nørbjerg

Associate Professor

Copenhagen Business School
Department of Digitalization

Samuel Alberg Thrysøe

Associate Professor

Aarhus University
Department of Computer Science

Kategorier
Explore project

Algorithms education via animation videos

Project type: Explore Project

Algorithms education via animation videos

Lectures on algorithms traditionally consist of blackboard/slide talks and reading material. This mode however need not be optimal for all students: Several highly popular YouTube channels for mathematics and other scientific content (e.g., 3blue1brown, Numberphile, Veritasium) with millions of views indicate that learners may respond very positively to professionally produced educational videos. This project aims at creating and evaluating an initial library of such videos to supplement teaching in algorithms.

Participants

Project Manager

Radu-Christian Curticapean

Assistant Professor

IT University of Copenhagen
Department of Computer Science

E: racu@itu.dk

Thore Husfeldt

Professor

IT University of Copenhagen
Department of Computer Science

Nutan Limaye

Associate Professor

IT University of Copenhagen
Department of Computer Science

Christian Wulff-Nilsen

Associate Professor

University of Copenhagen
Department of Computer Science

Mikkel Abrahamsen

Assistant Professor

University of Copenhagen
Department of Computer Science

Philip Bille

Professor

Technical University of Denmark
DTU Compute

Inge Li Gørtz

Professor

Technical University of Denmark
DTU Compute

Eva Rotenberg

Associate Professor

Technical University of Denmark
DTU Compute

Srikanth Srinivasan

Associate Professor

Aarhus University
Department of Computer Science

Kategorier
Explore project

Accountability Privacy Preserving Computation via Blockchain

Project type: Explore Project

Accountability Privacy Preserving Computation via Blockchain

We will investigate how to combine secure multiparty computation and blockchain techniques to obtain more efficient privacy-preserving computation with accountability. Privacy-preserving computation with accountability allows computation on private data (without compromising data privacy), while obtaining an audit trail that allows third parties to verify that the computation succeeded or to identify bad actors who tried to cheat. Applications include data analysis (e.g., in the context of discrimination detection and bench marking) and fraud detection (e.g. in the financial and insurance industries).

Participants

Sophia Yakoubov

Assistant Professor

Aarhus University
Department of Computer Science

E: sophia.yakoubov@cs.au.dk

Tore Frederiksen

Senior Cryptography Engineer

The Alexandra Institute

E: tore.frederiksen@alexandra.dk

Bernardo David

Associate Professor

IT University of Copenhagen
Department of Computer Science

E: beda@itu.dk

Mads Schaarup Andersen

Senior Usable Security Expert

The Alexandra Institute

Laura Lynggaard Nielsen

Senior Anthropologist

The Alexandra Institute

Louise Barkhuus

Professor

IT University of Copenhagen
Department of Computer Science

Kategorier
Explore project

Certifiable Controller Synthesis for Cyber-Physical Systems

Project type: Explore Project

Certifiable Controller Synthesis for Cyber-Physical Systems

As cyber-physical systems (CPSs) are becoming ever more ubiquitous, many of them are considered safetycritical. We want to help CPS manufacturers and regulators with establishing high levels of trust in automatically synthesized control software for safety-critical CPSs. To this end, we propose to extend the technique of formal certification towards controller synthesis: controllers are synthesized together with a safety certificate that can be verified by highly trusted theorem provers.

Participants

Martijn Goorden

Postdoc

Aalborg University
Department of Computer Science

E: mgoorden@cs.aau.dk

Simon Wimmer

Postdoc

Aarhus University
Department of Computer Science

E: swimmer@cs.au.dk

Kategorier
Explore project

Methodologies for scheduling and routing droplets in digital microfluidic biochips

Project type: Explore Project

Methodologies for scheduling and routing droplets in digital microfluidic biochips

The overall purpose of this project is to define, investigate, and provide preliminary methodologies for scheduling and routing microliter-sized liquid droplets on a planar surface in the context of digital microfluidics.

The main idea is to use a holistic approach in the design of scheduling and routing methodologies that takes into account real-world physical, topological, and behavioral constraints. Thus, producing solutions that can immediately find use in practical applications.

Participants

Project Manager

Luca Pezzarossa

Assistant Professor

Technical University of Denmark
DTU Compute

E: lpez@dtu.dk

Eva Rotenberg

Associate Professor

Technical University of Denmark
DTU Compute

Lene M. Favrholdt

Associate Professor

University of Southern Denmark
Department of Mathematics and Computer Science

Kategorier
Explore project

Automated Verification of Sensitivity Properties for Probabilistic Programs

Project type: Explore Project

Automated Verification of Sensitivity Properties for Probabilistic Programs

Sensitivity measures how much program outputs vary when changing inputs. We propose exploring novel methodologies for specifying and verifying sensitivity properties of probabilistic programs such that they (a) are comprehensible to everyday programmers, (b) can be verified using automated theorem provers, and (c) cover properties from the machine learning and security literature.

This work will bring together two junior researchers who recently arrived in Denmark and obtained their PhDs working on probabilistic verification.

Participants

Alexandro Aguirre

Postdoc

Aarhus University
Department of Computer Science

Christoph Matheja

Assistant Professor

Technical University of Denmark
DTU Compute

Kategorier
Explore project

Understanding Biases and Diversity of Big Data used for Mobility Analysis

Project type: Explore Project

Understanding Biases and Diversity of Big Data used for Mobility Analysis

Our capabilities to collect, store and analyze vast amounts of data have greatly increased in the last two decades, and today big data plays a critical role in a large majority of statistical algorithms. Unfortunately, our understanding of biases in data has not kept up. While there has been lot of progress in developing new models to analyze data, there has been much less focus on understanding the fundamental shortcomings of big data.

This project will quantify the biases and uncertainties associated with human mobility data collected through digital means, such a smartphone GPS traces, cell phone data, and social media data.

Ultimately, we want to ask the question: is it possible to fix big mobility data through a fundamental understanding of how biases manifest themselves?

Participants

Project Manager

Vedran Sekara

Assistant Professor

IT University of Copenhagen
Department of Computer Science

E: vsek@itu.dk

Laura Alessandretti

Associate Professor

Technical University of Denmark
DTU Compute

Manuel Garcia-Herranz

Chief Scientist

UNICEF
New York

Elisa Ormodei

Assistant Professor

Central European University