Since 2006 Jakob Rehof is full professor of Computer Science at the TU Dortmund University, where he is chair of Software Engineering, and as of April 2024 director of the Lamarr Institute for Machine Learning and Artificial Intelligence in Dortmund. By joint appointment, Rehof was director of the Fraunhofer Institute for Software- and Systems Engineering (ISST) in Dortmund 2006-2021, and since 2021 he is director of Research Strategy at the Fraunhofer-ISST.
Jakob Rehof studied Computer Science and Mathematics at the University of Copenhagen and got his Ph.D. in Computer Science at DIKU, Department of Computer Science, University of Copenhagen.
In 1997 Rehof was a visiting Researcher at the University of Stanford, CA, USA.
From 1998 until 2006 he was a researcher at Microsoft Research, Redmond, WA, USA.
Prior to all of the above he studied Classical Philology (Latin & Greek) and Philosophy at the University of Aarhus and the University of Copenhagen and was a DAAD scholar at the Eberhard-Karls University of Tübingen.
In 2023 Jakob Rehof received the CAV Award in Computer Aided Verification.
Rehof is a member of the editorial board of the Communications of the ACM.
