Skip to content
Snippets Groups Projects
README.md 3.67 KiB
Newer Older
  • Learn to ignore specific revisions
  • Michael Kohlhase's avatar
    Michael Kohlhase committed
    # Topics for Projects and Theses in the [KWARC](http://kwarc.info) Group
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    ## Contact
    [Prof. Michael Kohlhase](http://kwarc.info/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](mailto:michael@kohlhase@fau.de)>
    
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    ## 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](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.
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    ## Getting a Topic for a Bachelor's, Master's, or Ph.D. Thesis
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    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
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    journal article to their name. They started in their first years of study at Jacobs
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    University, and we will have to see what we can do at FAU. 
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    
    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
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    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. 
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    
    
    Richard Marcus's avatar
    Richard Marcus committed
    ## Thesis Topics
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    Topcis are available in the following larger areas, individual topics will be encoded as
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    [issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be clarified in
    their discussion areas.
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    * Representation of mathematical knowledge via Theory Graphs: #2 #3 #4 #11 #12 #16 #20 #22 #24 
    * Representation of logical systems and their translations via Theory Graphs: #5 #8
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    * Serious Games for Maths (based on logic and theory graphs): #1 #3 (but also see the
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
      [project issues](https://github.com/UFrameIT/UFrameIT/issues))
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    * The  [MathHub System](http://mathhub.info): #15 #17 #18 #21 #28 (but also see the
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
      project issues: [Frontend](https://github.com/MathHubInfo/Frontend/issues) [Backend](https://github.com/MathHubInfo/MathHub/issues))
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    * Semantics-Extraction from technical/mathematical documents: #2 #6
    * [Mathematical search engines](http//search.mathweb.org): #26 #27 
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    * [Integration of theorem prover libraries](http://kwarc.info/projects/oaf/): #7 #29 #30
    
    Max Rapp's avatar
    Max Rapp committed
    * Active Dokuments and the integration of semantic services into legal/technical/mathematical
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
      documents (e.g. for course materials): #9 #10 #23 #29 #30
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    * Interoperability and integration of mathematical software systems - e.g. computer
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
      algebra, math data bases, theorem provers (in the
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
      [OpenDreamKit](http://opendreamkit.org) EU project) #7
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    * Cognitive engineering (semantische information/help systems for CAD/CAM systems).
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    * Corpus Linguistics for Mathematics: #2 #6 #14
    * UIs and Interaction with all of this: #8 #13
    * Application of machine learning techniques to generating semantic data. #14