-
TU Dortmund
-
News:
10/9/2023
Professor Jakob Rehof Awarded International Prize for Computer Science
Research in the USA. He studied computer science and mathematics at the University of Copenhagen and earned his doctoral degree there in the Department of Computer Science. [...] US$10,000. About Professor Jakob Rehof Jakob Rehof has been a professor in the Department of Computer Science at TU Dortmund University since 2006, where he also holds the Chair for Software Engineering [...] Hence, the analysis of such programs is particularly complex, and fundamental questions are not computable. Such fundamental questions include, for example, the question of reachability or whether a concurrent …