(Team Project/Individual Project (6CP)) Subduing new Modalities for Deep Out-of-Distribution-Detection

(Project/SMK) Energy-Efficient Background Removal

(MA) Automatisierte Pfadgenerierung für die Roboterlackierung

(Team Project/Individual Project (6CP)) Edge AI for data filtering – Sending relevant information only

(Team Project/Individual Project (6CP)) Model Checking – Build your own solver / Project or Thesis Preparation

(Bachelorthesis) Formalising Simulink discrete Automata

(Software Project/FIN-SMK) Managing and Visualising Satellite Orbital Data

(Softwareprojekt/FIN-SMK/Thesis) Evaluating the use of a formally verified micro kernel for mission-critical software