Prof. Dr. Jakob Rehof
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

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