From 8b00458a48a6525868c8898c470df6e300fa29ed Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Thu, 2 Feb 2017 07:43:32 +0100 Subject: [PATCH] more --- README.md | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index f2df0e9..8837962 100644 --- a/README.md +++ b/README.md @@ -16,15 +16,19 @@ 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. They started in their first years of study at Jacobs -University. +University, and we will have to see what we can do at FAU. 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). +developed further during the thesis research process. This applies to the topics listed +below, even the topics that are partially taken might have some aspects that can still be +extended (and there is a student to collaborate with). + +In any case you should contact the Principal Investigator of KWARC: +[Prof. Michael Kohlhase](http://kwarc.info/kohlhase) or the person indicated as the +assignee. ## Thesis Topcis. -- GitLab