Career
He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at International Business Machines Corporation in Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support.
Bjørner was a professor at the Technical University of Denmark (Technical University of Denmark) from 1965–1969 and 1976–2007, before he retired in March 2007.
He was responsible for establishing the United Nations University International Institute for Software Technology (United Nations University-IIST), Macau, in 1992 and was its first director His magnum opus on software engineering (three volumes) appeared in 2005/6.
To support VDM, Bjørner co-founded VDM-Europe, which subsequently became Formal Methods Europe, an organization that supports conferences and related activities. In 2003, he instigated the associated ForTIA Formal Techniques Industry Association.
He received a Doctor.h.c. from the Masaryk University, Brno, Czechoslovakian Republic in 2004.
He is a Fellow of the Institute of Electrical and Electronics Engineers (2004) and Association for Computing Machinery (ACM) In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen.