To content
Department of Computer Science
Head of Scientific Staff

Prof. Dr. Jakob Rehof

Send E-Mail

Phone: (+49)231 755-7951

Fax: (+49)231 755-7936

Technische Universität Dortmund
Department of Computer Science
Chair for Software Engineering
Otto-Hahn-Str. 12
44227 Dortmund

Office: OH12, 2.011
Office hours: By appointment

Jakob Rehof - Profilbild © SEAL

Research Areas

  • Algorithms and complexity in type theory and logic
  • Program synthesis integrated with simulation, optimization, and machine learning
  • Verification and trustworthy AI