Search
Close this search box.

Explore projects

Strategic, multidisciplinary research projects directed by DIREC researchers – often in collaboration with external partners – aim to deliver value for both the scientific world and society. The Explore projects are small agile research projects with the purpose of screening new ideas.

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.

Read More »
Explore project

Re-use of robotic data in production through search, simulation and learning

A robot database with information on previous robot solutions can save manufacturing companies time and money and allow for smaller-scale companies to automate their production as well. This is the conclusion of the ReRoPro project. Although it sounds simple, there are several challenges involved with creating a robot database. With input from industry and international experts, the researchers have now gained a much better understanding of the challenges.

Read More »
Explore project

Algorithms education via animation videos

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.

Read More »
Explore project

Accountability Privacy Preserving Computation via Blockchain

This project aims to combine secure multiparty computation and blockchain techniques, to enable efficient privacy-preserving computation with accountability, allowing computation on private data while maintaining an audit trail for third-party verification. The project can potentially help fight discrimination, catch unethical and fraudulent behavior, and generate positive publicity for honest participation. 

Read More »
Explore project

Ergonomic & Practical Effect Systems

Effect systems are currently a hot research subject in type theory. Yet many effect systems, whilst powerful, are very complicated to use, particularly by programmers that are not experts at type theory. Effect systems with inference can provide useful guarantees to programming languages, while being simple enough to be used in practice by everyday programmers.

Read More »
Explore project

Hardware/software Trade-off for the Reduction of Energy Consumption

Computing devices consume a considerable amount of energy. Implementing algorithms in hardware using field-programmable gate arrays (FPGAs) can be more energy efficient than executing them in software in a processor. This project explores classic sorting and path-finding algorithms and compare their energy efficiency and performance when implemented in hardware.

Read More »
Explore project

Explainable AI

Artificial Intelligence brings the promise of technological means to solve problems that previously were assumed to require human intelligence, and ultimately provide human-centered solutions that are both more effective and of higher quality in a synergy between the human and the AI system than solutions that are provided by humans or by an AI system alone.

Read More »