Jakob Rehof (Preferred)
Jakob Rehof
Full Professor, Computer Science, Technische Universität Dortmund
Joined
July 2025
Names
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
Expertise
Verification
, logic
, algorithms
, type theory
1995 – Present
Publications
No publications