Jakob Rehof
| Professor of Computer Science TU Dortmund University, director of Research Strategy Fraunhofer ISST, and Co-Director of Lamarr Institute for Machine Learning and Artificial Intelligence |
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.
