Supervision
Student projects and research activities that I supervised or offer.
Here I collected various projects that I have supervised or that I currently offer to students. The projects are mainly projects for writing Master and Bachelor theses.
Currently open Bachelor and Master thesis projects
Please find a comprehensive description of various Bachelor and Master Thesis Projects that are currently open and offered by me here.
Currently running Bachelor and Master Thesis Projects
- There are no supervised projects running at present
Completed Bachelor and Master Thesis Projects
- Implementation and Optimization of a SAT Solver. Christian Eder (Bachelor), 2008.
- Implementation of a (Standard) Tableau Calculus for DL Reasoning. Simon Knoll (Bachelor), 2008.
- Implementation of a Fixpoint-based Decision Procedure for the Modal Logic K. Hans-Peter Heigenhauser (Bachelor), 2008.
- An Overview of Modern Techniques to SAT Solving. Christian Eder (Bachelor), 2008.
- Extension of a Datalog Reasoner with Top-Down Evaluation. Christoph Fuchs (Bachelor), 2008.
- The SAT-Tableau Calculus for the Description Logic ALC based on Propositional Local Search Procedures. Adrian Marte (Bachelor), 2008.
- Implementation and Visualization of the BDD-Tableau Calculus for Reasoning in the Description Logic ALC. Markus Ruepp (Bachelor), 2008.
- Enabling Semantic eMail Adressing. Philippe Roedlach (Bachelor), 2008.
- Development of a Plugin for the Thunderbird eMail Client enabling Semantic eMail Adressing . Philipp Reisinger (Bachelor), 2007.
- A Survey on Distributed Reasoning. Florian Girtler (Bachelor), 2006.
- Reasoning with Ontologies. Doris Silbernagel (Bachelor), 2006.
Teaching
Here you can find various information and resources on courses that have been or are given by me.
Seminars
- DERI Research Seminar. Seminar for Ph.D students, Master students and researchers at DERI to discuss selected research topics in Computer Science and related fields, 2005 - 2006.
Miscellaneous
Miscellaneous other things that could be of interest to the general public.