(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) Evaluating the use of a formally verified micro kernel for mission-critical software

(MA) Deep Learning based Anomaly Detection for Manufacturing Assembly