Thesis topics

From FMS-wiki
Revision as of 13:02, 28 June 2022 by (talk) (Master thesis topics)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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)