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

one more topic

parent f8c8693b
Branches
No related tags found
No related merge requests found
......@@ -15,7 +15,8 @@ The KWARC research group conducts research in knowledge representation and reaso
The KWARC group has a strong tradition of involving students in research early. We had
Bachelor Students who graduated with multiple papers at international conferences or a
journal article to their name.
journal article to their name. They started in their first years of study at Jacobs
University.
Generally, we try to tailor thesis topics matching the KWAC interests to the interests of
the candidate in a personal "thesis negotiation process". Actually, as theses in KWARC are
......@@ -30,6 +31,7 @@ below, in particular, you should contact the Principal Investigator of KWARC:
Topcis are available in the following larger areas, individual topics will be encoded as
[issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be discussed in their
* Representation of mathematical knowledge via Theory Graphs: #2
* Serious Games for Maths (based on logic and theory graphs): #1
* Semantics-Extraction from technical/mathematical documents (and the use of this in
[mathematical search engines](http//search.mathweb.org))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment