David Sabel

Courses

Summer 2017

• Seminar: Spezielle Themen zu Softwaresystemen

Summer 2016

• Vorsemesterkurs Informatik (Preparation Course 'Computer Science')

Winter 2015/16

• Einführung in die Funktionale Programmierung (Principles of Functional Programming)

Summer 2015

• Einführung in die Programmierung und das Problemlösen in Haskell (Introduction to Programming and Problem Solving in Haskell), course at the Lehrbildungsforum Informatik.
• Rewriting Techniques for Correctness of Program Transformations, course at the International School on Rewriting ISR 2015
• Praktikum Funktionale Programmierung (Practical Course 'Functional Programming')
• Vorsemesterkurs Informatik (Preparation Course 'Computer Science')

Winter 2014/15

• Praktikum BKSPP-PR (Practical Course on Operating and Communication Systems, Programming Languages and Paradigms)

Summer 2014

• Einführung in die Methoden der Künstlichen Intelligenz (Introduction to the Methods of Artificial Intelligence)
• Vorsemesterkurs Informatik (Preparation Course 'Computer Science')

Winter 2013/14

• Nebenläufige Programmierung: Praxis und Semantik (Concurrent Programming)

Summer 2013

• Praktikum Funktionale Programmierung (Practical Course 'Functional Programming')
• Vorsemesterkurs Informatik (Preparation Course 'Computer Science')

Winter 2012/13

• Einführung in die Methoden der Künstlichen Intelligenz (Introduction to the Methods of Artificial Intelligence)

Summer 2012

• Praktikum BKSPP-PR (Practical Course on Operating and Communication Systems, Programming Languages and Paradigms)
• Vorsemesterkurs Informatik (Preparation Course 'Computer Science')

Winter 2011/12

• Nebenläufige Programmierung: Praxis und Semantik (Concurrent Programming)

Summer 2011

• Praktikum Funktionale Programmierung (Practical Course 'Functional Programming')
• Vorsemesterkurs Informatik (Preparation Course 'Computer Science')

Winter 2010/11

• Einführung in die Funktionale Programmierung (Principles of Functional Programming)

Summer 2010

• Praktikum BKSPP-PR (Practical Course on Operating and Communication Systems, Programming Languages and Paradigms)

Winter 2009/10

• Nebenläufige Programmierung: Praxis und Semantik (Concurrent Programming)

Theses

Supervised Theses

Below is a list of theses that I supervised officially. I was involved in the supervision in several other thesis which were written at the Chair for Artificial Intelligence and Software Technology which can be found on this webpage (bachelor theses) and this webpage (master theses).

• David Schäfer:
  Visualisierung von Überlappungsdiagrammen für den Korrektheitsnachweis von Programmtransformationen
  Bachelor thesis, 2017.
• Dhivyan Thulasikanthan:
  Grundlagen des Term Graph Rewriting und Anwendungen in funktionalen Programmiersprachen
  Bachelor thesis, 2017.
• Patrick Pech:
  Nominal Unification und ihre Anwendung zum syntaktischen Schließen in erweiterten Lambda-Kalkülen
  Master thesis, 2016.
• Jeong-Eun Choi:
  Funktionale Implementierung und experimentelle Analyse effizienter Heuristiken für das DPLL-Verfahren zum Erfüllbarkeitstest für aussagenlogische Klauselmengen
  Bachelor thesis, 2016.
• Alper Cezik:
  Eine Programmbibliothek für Haskell zum Lösen linearer Ungleichungen durch Anbindung von SMT-Solvern
  Bachelor thesis, 2016.
• Christian Winter:
  Entwicklung eines webbasierten Lernsystems zum Erfüllbarkeitstest aussagenlogischer Formeln mittels der DPLL-Prozedur
  Bachelor thesis, 2016.
• Felix Weiglhofer:
  Entwurf und Implementierung einer nebenläufigen Wörterbuchdatenstruktur in Concurrent Haskell
  Bachelor thesis, 2016.
• Deniz Akemlek:
  Entwurf und Implementierung von Algorithmen zur effizienten Konversion von Lempel-Ziv-Strings in Straight-Line-Programme in der funktionalen Programmiersprache Haskell
  Bachelor thesis, 2016.
• Mayumi Fuji:
  Implementierung einer Simulation von Schienenverkehr zur Analyse von Verspätungen in der funktionalen Programmiersprache Haskell
  Bachelor thesis, 2016
• Raihana Samadi:
  Implementierung von Rewriting-Systemen auf Kreisen in der funktionalen Programmiersprache Haskell
  Bachelor thesis, 2016
• Robin Kreuzig:
  Entwurf und Implementierung eines Online-Lernsystems zur Listenprogrammierung mit List Comprehensions unter Verwendung eines Webframeworks für Haskell
  Bachelor thesis, 2015
• Marc Pohl:
  Entwurf und Implementierung von Algorithmen zur Grammatik-basierten Kompression von Matrizen
  Bachelor thesis, 2015
• Omar El Goss:
  Implementierung von Algorithmen zur erweiterten Alpha-Äquivalenz für Programmiersprachen mit rekursiven Bindungen
  Bachelor thesis, 2015
• Jan van den Brand:
  Eine neue dynamisch-getypte und imperative Programmiersprache mit verzögerter Auswertung
  Bachelor thesis, 2015
• Patrick Pech:
  Entwurf und Implementierung von Inferenzverfahren für eine zweidimensionale Intervalllogik in der funktionalen Programmiersprache Haskell
  Bachelor thesis, 2014
• Süleyman Omari:
  Entwurf und Implementierung einer Kodierung der Allenschen Zeitlogik als Aussagenlogisches Erfüllbarkeitsproblem
  Bachelor thesis, 2014

Templates

• A LaTeX-template for bachelor theses: TemplateBachelorarbeit.tar.gz.
• A LaTeX-template for master theses: TemplateMasterarbeit.tar.gz.