| Name | 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) |
| Saima Sultana | A comparative analysis of the impact of different SSD tools and methods on software development productivity (working title) |
| Jakob Konrad Hansen | |
| Sebastian Max Sjøvoll Kingston | Automated Refactoring of Test Suites in Python |
| Audun Wolden | Verification Tool for Concurrent Software |