This page provides an overview of my teaching activities at the University of Paderborn and San Diego State University.
My Own Lectures
University of Paderborn:
- Machine Learning, Winter 2013/14 (first half-semester)
- Machine Learning, Winter 2012/13
- Introduction to Knowledge-based Systems, Summer 2009
San Diego State University:
- Math 141 Precalculus, Summer 2003
- Math 141 Precalculus, Fall 2002
Seminars
University of Paderborn:
- Seminar Knowledge-based Systems, Winter 2011/12
- Seminar Knowledge-based Systems, Winter 2008/09
Exercises and Tutorials
University of Paderborn:
- Introduction to Knowledge-based Systems, Summer 2013
- Introduction to Knowledge-based Systems, Summer 2012
- Machine Learning, Winter 2011/12
- Introduction to Knowledge-based Systems, Summer 2011
- Modelling, Winter 2010/11, with R. Dreesen and Y. Yan
- Introduction to Knowledge-based Systems, Summer 2010
- Machine Learning, Winter 2009/10
- Machine Learning, Winter 2008/09
- Machine Learning, Winter 2007/08
- Logic and Semantics, Winter 2005/06, with A. Goebels
- Introduction to Knowledge-based Systems, Summer 2005, with A. Goebels and O. Kramer
- Logic and Semantics, Winter 2004/05, with S. Priesterjahn
San Diego State University:
- Math 150 Calculus 1, Spring 2003
Supervised Theses
- Stephan Epp, "Learning Monotone DNF in Boolean Circuits", Master Thesis, 2013
- Nikolaos Ikonomakis, "Combining Three-Valued Logic and Quantified Boolean Formulas in Bounded Model Checking Encodings", Master Thesis, joint supervision with N. Timm, 2013
- Fabian Schmauder, "QHORNb- und Q2-CNFb-Anteil in Quantifizierten Booleschen Formeln", Bachelor Thesis, 2012
- Lilli Bergner, "Finding Largest Abbreviations in CNF Formulas and its Application in QBF Preprocessing", Bachelor Thesis, 2011
- Martin Wieczorek, "Heuristiken zur Generierung von Projektionen von SAT Instanzen", Master Thesis, joint supervision with A. Goebels, 2007
- Xiaoxiao Yi, "Quantorexpansion für Quantifizierte Hornfomeln", Bachelor Thesis, 2007
- Henning Ellerweg, "A Multi-Agent System Approach to Satisfiability Problems", Master Thesis, joint supervision with A. Goebels, 2006
- Yuhan Yan, "Implementierung spezieller Algorithmen für Erfüllbarkeitsmodelle quantifizierter Hornformeln", Bachelor Thesis, 2006
Ph.D. Committees
- Nils Timm, "Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems", 2013