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](http://kwarc.info/semantics.html#fm) 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](http://kwarc.info/semantics.html#ssem) in technical documents. This level of markup allows for offering interesting [knowledge management services](http://kwarc.info/projects/) without forcing the author to formalize the document contents.
## Getting a Topic for a Bahelor's, Master's, or Ph.D. Thesis
## 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
...
...
@@ -36,8 +36,8 @@ Topcis are available in the following larger areas, individual topics will be en
*[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)
documents (e.g. for course materials)
* Interoperability and integration of mathematical software systems - e.g. computer
algegra, math data bases, theorem provers (in the
algebra, math data bases, theorem provers (in the
[OpenDreamKit](http://opendreamkit.org) EU project)
* Cognitive engineering (semantische information/help systems for CAD/CAM systems).
