Dines Bjorner

Dines Bjorner (born 4 October 1937) is a Danish computer scientist who specializes in domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM Laboratory Vienna, played a leading role in the EU ESPRIT ProCoS project on Provably Correct Systems from 1989 to 1995, and was later involved in producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method. He was a professor at the Technical University of Denmark from 1965 to 1969 and 1976 to 2007, and established the United Nations University International Institute for Software Technology in Macau in 1992, serving as its first director. He is a Fellow of the IEEE (2004) and of the ACM (2005).