Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results
Name Last commit Last update
README.md
README.md

Topics for Projects and Theses in the KWARC Group

Contact

Prof. Michael Kohlhase Professur für Wissensrepräsentation & -verarbeitung FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, <Michael.Kohlhase@fau.de>

KWARC Research

The KWARC research group conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management. We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly. We concentrate on developing techniques for marking up the structural semantics in technical documents. This level of markup allows for offering interesting knowledge management services without forcing the author to formalize the document contents.

The Kwarc Topic Space

Kwarc topics can be roughly categorized along the following dimensions. By identifying each student's preferences, we can place them in this space and find matching topics for them.

Solution lifecycle: Where does the topic in the development of IT and knowledge representation solution life cycle?

  • language design (often MMT extensions or specializations)
  • implementation (often Scala)
  • content production (in MMT or similar languages)
  • applications/services

Kind of problem: How theoretical/practical is a topic?

  • theory (mathematics, formal logic, logical frameworks)
  • ...
  • practice (implementation, scalability, system integration, user interfaces)

Application domain: Which community benefits from the research?

  • logic
  • mathematics and its subfields
  • adjacent mathematical sciences in STEM
  • Digital Humanities (Representing/Managing/Using Knowledge about cultural artefacts)
  • branching out into other fields (e.g., legal texts)

Getting a Topic for a Bachelor's, Master's, or Ph.D. Thesis

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, 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, 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 or the person indicated as the assignee.

Thesis Topcis.

Topcis are available in the following larger areas, individual topics will be encoded as issues, details can be clarified in their discussion areas.

Logistics once you have a topic

We do most of our collaboration via git, zoom, and mattermost. You should do the following (all steps are important):

  • Go to https://gl.kwarc.info and log in with your GitHub account (click on the octocat logo) - that is where we store all our papers, theses, etc. and we do much of the project planning via GitLab issues.
  • Go to https://gl.mathhub.info and log in with your GitHub account (again, click on the octocat logo) - that is where we store all our formalizations
  • Join FAU's matrix server using the instructions at https://www.anleitungen.rrze.fau.de/serverdienste/matrix-an-der-fau/ and join the Kwarc space there - that is where we do all our day-to-day asynchronous communication, join relevant channels and write direct messages as needed to get set up
  • Go to https://fau.zoom.us/j/576591784 to join the weekly group meeting via zoom.