Diese Seite gibt einen Überblick über meine Lehrtätigkeit an der Universität Paderborn und der San Diego State University.

Eigene Vorlesungen

Universität Paderborn:

• Maschinelles Lernen, WS 2013/14 (1. Semesterhälfte)
• Maschinelles Lernen, WS 2012/13
• Grundlagen Wissensbasierter Systeme, SS 2009

San Diego State University:

• Math 141 Precalculus, Summer 2003
• Math 141 Precalculus, Fall 2002

Seminare

Universität Paderborn:

• Seminar Wissensbasierte Systeme, WS 2011/12
• Seminar Wissensbasierte Systeme, WS 2008/09

Übungsleitung

Universität Paderborn:

• Grundlagen Wissensbasierter Systeme, SS 2013
• Grundlagen Wissensbasierter Systeme, SS 2012
• Maschinelles Lernen, WS 2011/12
• Grundlagen Wissensbasierter Systeme, SS 2011
• Modellierung, WS 2010/11, mit R. Dreesen und Y. Yan
• Grundlagen Wissensbasierter Systeme, SS 2010
• Maschinelles Lernen, WS 2009/10
• Maschinelles Lernen, WS 2008/09
• Maschinelles Lernen, WS 2007/08
• Logik und Semantik, WS 2005/06, mit A. Goebels
• Grundlagen Wissensbasierter Systeme, SS 2005, mit A. Goebels und O. Kramer
• Logik und Semantik, WS 2004/05, mit S. Priesterjahn

San Diego State University:

• Math 150 Calculus 1, Spring 2003

Betreute Abschlussarbeiten

• Stephan Epp, "Learning Monotone DNF in Boolean Circuits", Masterarbeit, 2013
• Nikolaos Ikonomakis, "Combining Three-Valued Logic and Quantified Boolean Formulas in Bounded Model Checking Encodings", Masterarbeit, gemeinsam mit N. Timm betreut, 2013
• Fabian Schmauder, "QHORN^b- und Q2-CNF^b-Anteil in Quantifizierten Booleschen Formeln", Bachelorarbeit, 2012
• Lilli Bergner, "Finding Largest Abbreviations in CNF Formulas and its Application in QBF Preprocessing", Bachelorarbeit, 2011
• Martin Wieczorek, "Heuristiken zur Generierung von Projektionen von SAT Instanzen", Diplomarbeit, gemeinsam mit A. Goebels betreut, 2007
• Xiaoxiao Yi, "Quantorexpansion für Quantifizierte Hornfomeln", Bachelor-/Studienarbeit, 2007
• Henning Ellerweg, "A Multi-Agent System Approach to Satisfiability Problems", Diplomarbeit, gemeinsam mit A. Goebels betreut, 2006
• Yuhan Yan, "Implementierung spezieller Algorithmen für Erfüllbarkeitsmodelle quantifizierter Hornformeln", Bachelor-/Studienarbeit, 2006

Promotionskommissionen

• Nils Timm, "Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems", 2013