Jakob Rehof

Full Professor, Computer Science, Technische Universität Dortmund
Joined
July 2025

Names

Jakob Rehof (Preferred)

Emails

****@cs.tu-dortmund.de (Confirmed)

Personal Links

Career & Education History

Full Professor
Computer Science, Technische Universität Dortmund (tu-dortmund.de)
2006 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

Verification
, 
logic
, 
algorithms
, 
type theory
1995 – Present

Publications

No publications

Co-Authors

No co-authors