Get in touch
eMail: firstname DOT lastname HERE-COMES-AN-AT gmail DOT com

Skip to Content

Uwe Keller

• Intro
• Publications
• Teaching
• Downloads
• Contact

Thoughts

"Every great dream begins with a dreamer. Always remember, you have within you the strength, the patience, and the passion to reach for the stars to change the world."
- Harriet Tubman

• Supervision
• Teaching
• Miscellaneous

"Nothing truly valuable arises from ambition or from a mere sense of duty; it stems rather from love and devotion towards men and towards objective things."
- Albert Einstein

News

I just added the teaching section to my Website.

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.

© Uwe Keller 2006
Web template (Plain 2.0) designed by James Koster for OSWD.