Inter alia, he was responsible for establishing the United Nations University International Institute for Software Technology (UNU-IIST), Macau, in 1992 and was its first director.
RAISE, Rigorous Approach to Industrial Software Engineering, was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner.
It was founded in 2003 through the initial efforts of Dines Bjørner and was chaired by Anthony Hall and Volkmar Lotz among others.