| Name | Title |
| Magnus Økstad | Distributed Data Structures with Dependent Types (working title) |
| Mohamed Hocein el Morabeti | Developing a Verification Tool for Concurrent Software in Modern Programming Languages (working title) |
| Sean Amaury Lapalus | A Domain-Specific Language for Real-Estate Floor Plans (working title) |
| Jakub Wasylków | Verification software for concurrent software written in C using GCD (working title) |
| Jakob Konrad Hansen | |
| Sebastian Max Sjøvoll Kingston | Automated Refactoring of Test Suites in Python |