Professor Dines Bjørner (born 4 October 1937, in Odense) 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 (VDM) at IBM Laboratory Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support. In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen. Bjørner is married to Kari Bjørner, with two children and five grandchildren.