Thesis topics

From FMS-wiki
Jump to: navigation, search

Software projects (Bachelor)

Bachelor thesis topics

Individual projects (Master)

Team projects (Master)

Master thesis topics

PhD thesis topics

  • derived signature morphisms in Hets (Haskell skills needed)
  • detection of theory morphisms (cf. Immanuel Norman's PhD thesis) (difficult) (Haskell skills needed)