Dines Bjørner

Who is Dines Bjørner?

Professor Dines Bjørner is a Danish computer scientist.

He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM in Vienna. Later he was involved with producing the RAISE formal method with tool support.

Bjørner has been a professor at the Technical University of Denmark in Lyngby, close to Copenhagen, Denmark from 1965–1969 and 1976–2007, before he retired in March 2007. Inter alia, he was responsible for establishing the United Nations University International Institute for Software Technology, Macau, in 1992 and was its first director. His magnum opus on software engineering 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.

Dines Bjørner is a knight of the Order of the Dannebrog in 1985. He received a Dr.h.c. from the Masaryk University, Brno, Czech Republic in 2004. He is a Fellow of the IEEE and ACM.