Zum Inhalt
Fakultät für Informatik
Lehrstuhlinhaber

Prof. Dr. Jakob Rehof

E-Mail senden

Telefon: (+49)231 755-7951

Fax: (+49)231 755-7936

Adresse:
Technische Universität Dortmund
Fakultät für Informatik
Lehrstuhl für Software Engineering (LS14)
Otto-Hahn-Str. 12
44227 Dortmund
Deutschland

Raum: OH12, 2.011

Sprechzeiten: Nach Vereinbarung

Jakob Rehof - Profilbild © SEAL

Forschungsschwerpunkte

  • Meine derzeitige Forschung konzentriert sich auf die automatisierte Synthese von Softwarekompositionen auf der Grundlage kombinatorischer Logik sowie auf die Entwicklung und Anwendung eines Rahmens für komponentenbasierte Synthese CLS (Combinatory Logic Synthesizer).
  • Das Bewohnungsproblem im typisierten Lambda-Kalkül (mit Kreuzungstypen).

Lehrveranstaltungen

  • Funktionale Programmierung
  • Modellierung Nebenläufiger Prozesse
  • Proseminar Einführung in die Kategorientheorie
  • Logische Methoden des Software Engineering 1
  • Logische Methoden des Software Engineering 2