The KWARC Group welcomes student involvement in research. If you are interested, please send an e-mail to <a href="mailto:kohlhase@kwarc.info>Michael Kohlhase</a>, or come to our seminars and courses
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 topics for [theses, or guided research](https://gl.kwarc.info/kwarc/thesis-projects)
