Thesis Topics

In general, we offer topics in the following research areas: Model-based development of embedded systems / cyber-physical systems (CPS), formal modeling/verification methods, real-time guarantees using scheduling / WCET, AI for CPS, optimization of CPS (at system level and hardware level e.g. considering AI accelerators, FPGAs, and others), and other related topics. We deal with application areas such as: Autonomous driving or autonomous systems in general, avionics, railway, smart farming, traffic optimization, IoT and related technical applications. Do not hesitate to contact us.