Dines Bjørner is a Danish computer scientist. He specializes in research into formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM in Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support.

PropertyValue
dbpprop:abstract
  • Dines Bjørner is a Danish computer scientist. He specializes in research into formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM 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 has been a professor at the Technical University of Denmark (DTU) 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 in Macau during the 1990s. His magnum opus on software engineering (three volumes) appears in 2005/6 (see details below). 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 and won the John von Neumann Medal in Budapest, Hungary in 1994. He received a Dr.h.c. from the Masaryk University, Brno, Czech Republic in 2004. He is a Fellow of the IEEE (2004) and ACM (2005). Bjørner is married to Kari Bjørner, with two children and five grandchildren.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Dines Bjørner is a Danish computer scientist. He specializes in research into formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM in Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support.
rdfs:label
  • Dines Bjørner
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of