Skip to content
Snippets Groups Projects
Commit 5285dacc authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

URI

parent 88693ccd
Branches
No related tags found
No related merge requests found
......@@ -15,13 +15,13 @@ the candidate in a personal "thesis negotiation process". Actually, as theses in
about fundamental and systems research (i.e. the research question co-evolves with the
results obtained), the "thesis topic" will just be an initial idea to be understood and
developed further during the thesis research process.This applies to the topics listed
below, in particular, you should contact the Principal Investigator of KWARC
below, in particular, you should contact the Principal Investigator of KWARC:
[Prof. Michael Kohlhase](http://kwarc.info/kohlhase).
## Thesis Topcis.
Topcis are available in the following larger areas, individual topics will be encoded as
[issues](issues), details can be discussed in their
[issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be discussed in their
* Serious Games for Maths (based on logic and theory graphs)
* Semantics-Extraction from technical/mathematical documents (and the use of this in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment