diff --git a/README.md b/README.md index 0ddb824a8fdd69002d2ccc66d885841323687870..129188782fa9fe4e472654cccf2a1612cbf91aa5 100644 --- a/README.md +++ b/README.md @@ -6,26 +6,31 @@ The KWARC research group conducts research in knowledge representation and reaso ## Getting a Topic for a Bahelor's, Master's, or Ph.D. Thesis -Generell bemühe -ich mich die Themen auf die Interessen des Kandidaten zuzuschneiden in -einem ersten Abstimmungsprozess. Daher sollten wir vielleicht einen -Telefon- oder skype-Termin vereinbaren; Freitag ginge bei mir ziemlich gut. - -Hier aber schon einmal einen Überblick über Themengebiete, die uns so -interessieren. - +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. + +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 +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 +[Prof. Michael Kohlhase](http://kwarc.info/kohlhase). ## Thesis Topcis. -Topcis are avaialble in the following larger areas, details can be found in the issues: - -* Serious Games for Maths (basierend auf Logik und Theoriegraphen) -* Extraktion von Semantik aus mathematisch/technischen Dokumenten (und -die Verwendung in mathematischen Suchmaschinen) -* Integration von Theorembeweiserbibliotheken in das MathHub System. -* Aktive Dokumente und die Integration semantischer Mehrwertdienste in -technisch/mathematischen Dokumenten (z.B. in der Lehre) -* Interoperabilität und Integration von mathematischen Software-Systemen -(Computer Algegra, mathematischen Datenbanken, Theorembeweisern, ... ) -* Cognitive Engineering (Semantische Informations/Hilfesysteme für -CAD/CAM Systeme) +Topcis are available in the following larger areas, individual topics will be encoded as +[issues](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 + [mathematical search engines](http//search.mathweb.org)) +* [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the + [MathHub System](http://mathhub.info)). +* Active Dokuments and the integration of semantic services into technical/mathematical + documnets (e.g. for course materials) +* Interoperability and integration of mathematical software systems - e.g. computer + algegra, math data bases, theorem provers (in the + [OpenDreamKit](http://opendreamkit.org) EU project) +* Cognitive engineering (semantische information/help systems for CAD/CAM systems).