Forked from
KWARC / kwarc.info / www
705 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
topics.md 530 B
layout: page
title: Thesis Topics & Projects
menu_title: Thesis Topics & Projects
menu_order: 101
The KWARC Group welcomes student involvement in research. If you are interested, please send an e-mail to michael.kohlhase@fau.de, or come to our seminars and courses.
We have an initial list of topics for theses, or guided research which may suit you, but you can always adopt one of our currently orphaned systems.