Teaching

I have interesting topics for theses on all levels, ranging over many topics related to my research interests. Simply make an appointment and talk with me about your interests, and we can try find a suitable topic for you.

Current and Past Teaching

Department of Computer Science, Wright State University

Knowledge Representation: Advanced Topics (CS 790), Spring 2012.
Computational Complexity and Algorithm Analysis (CS740), Spring 2012.
Knowledge Representation for the Semantic Web (CS790), Winter 2012. Based on the textbook Foundations of Semantic Web Technologies.
Logic for Computer Scientists (CS499/699), Winter 2012.
Introduction to Discrete Structures for Computer Scientists, Fall 2011.
Computational Complexity and Algorithm Analysis (CS740), Spring 2011.
Knowledge Representation for the Semantic Web (CS790), Winter 2011. Based on the textbook Foundations of Semantic Web Technologies.
Logic for Computer Scientists (CS499/699), Winter 2011.
Theoretical Foundations of Computing (CS410/610, MTH410/610), Fall 2010.
Computational Complexity and Algorithm Analysis (CS740), Spring 2010.
Logic for Computer Scientists (CS499/699), Spring 2010.
Knowledge Representation for the Semantic Web (CS799), Winter 2010. Based on the textbook Foundations of Semantic Web Technologies.

AIFB, University of Karlsruhe

Lecture Semantic Web Technologies II. Summer Semester 2009.
Seminar Game Theory and the Semantic Web. Summer Semester 2009. (internal link only)
Seminar Cognitive Information Processing. Summer Semester 2009. (internal link only)
Lecture Semantic Web Technologies I. Winter Semester 2008/2009.
Seminar Game Playing Computers and Artificial Intelligence. Winter Semester 2008/2009. (internal link only)
Lecture Semantic Web Technologies II. Summer Semester 2008.
Seminar Social Choice Theory and Artificial Intelligence. Summer Semester 2008.
Lecture Semantic Web Technologies I. Winter Semester 2007/2008.
Lecture Angewandte Informatik I. Winter Semester 2007/2008.
Seminar Wissensverarbeitung mit Neuronalen Netzen. Winter Semester 2007/2008.
Lecture Intelligente Systeme im World Wide Web. Summer Semester 2007.
Lecture Angewandte Informatik I. Winter Semester 2006/2007 at University of Karlsruhe.
Lecture Intelligente Systeme im World Wide Web. Summer Semester 2006.
Lecture Angewandte Informatik I. Winter Semester 2005/2006 at University of Karlsruhe.
Seminar Semantische Technologien: Advanced Topics. Winter Semester 2005/2006 at University of Karlsruhe.
Lecture Intelligente Systeme im World Wide Web. Summer Semester 2005.
Seminar Semantische Technologien: Methoden und Anwendungen. Summer Semester 2005.

International Master Programme in Computational Logic at TU Dresden

Seminar Knowledge Representation and Reasoning for the Semantic Web. Winter Semester 2005/2006 at TU Dresden.
Lecture Operator-based semantics for logic programs. Winter Semester 2004/2005.
Seminar Game Playing Computers and Artificial Intelligence. Summer Semester 2004.
Lecture by Prof. Hölldobler on Computational Logic and Connectionist Systems. Summer Semester 2004
Seminar Theoretical Aspects of Logic Programming and Nonmonotonic Reasoning. Winter Semester 2003/2004.
Seminar Logic and Connectionist Systems. Summer Semester 2002.

Past Teaching

Complete list up to 2006

Theses and Student Supervision

Student Supervision

I am also course coordinator, since 2010, for CS410/610 Theoretical Foundations of Computing.

Some old info on enhancement programmes for high-school students with high mathematical abilities I was involved in.