Auf den folgenden Seiten ist Lehrmaterial zu Lehrveranstaltungen zu finden. Das Urheberrecht des Materials liegt bei David Sabel.
- Einführung in die Methoden der Künstlichen Intelligenz, Goethe-Universität Frankfurt am Main 2014
- Grundlagen der Analysis, LMU München 2020
- Prinzipien, Modelle und Algorithmen der Nebenläufigen Programmierung, LMU München 2021
- Fortgeschrittene Funktionale Programmierung, LMU München 2022
- Formale Sprachen und Komplexität, LMU München 2022
- Automatentheorie und Formale Sprachen, Hochschule RheinMain Wiesbaden 2025
- Funktionale Programmierung, Hochschule RheinMain Wiesbaden 2025
- Diskrete Strukturen, Hochschule RheinMain Wiesbaden 2026
- Programming Language Foundations, Hochschule RheinMain Wiesbaden 2026