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