Thesis topics

From FMS-wiki
Jump to: navigation, search

Software projects (Bachelor)[edit]

Bachelor thesis topics[edit]

Individual projects (Master)[edit]

Team projects (Master)[edit]

Master thesis topics[edit]

PhD thesis topics[edit]

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