Jump to content

Dines Bjørner: Difference between revisions

Edit links
From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Cydebot (talk | contribs)
6,812,251 edits
m Robot - Speedily moving category Academics of the United Nations University to Category:United Nations University faculty per CFDS.
Updated info, added ref, category
Line 3: Line 3:
|name = Dines Bjørner
|name = Dines Bjørner
|image = Dines Bjørner at DTU Compute, June 2012.jpg
|image = Dines Bjørner at DTU Compute, June 2012.jpg
|image_size = 150px
|image_size = 180px
|caption =
|caption =
|birth_date = {{birth date and age|1937|10|04||df=yes}}
|birth_date = {{birth date and age|1937|10|04||df=yes}}
Line 12: Line 12:
|fields = [[Computer science]]
|fields = [[Computer science]]
|workplaces = [[Technical University of Denmark]]<br />[[United Nations University]]
|workplaces = [[Technical University of Denmark]]<br />[[United Nations University]]
|alma_mater = Peking University<br />Chinese Academy of Sciences
|alma_mater = [[Technical University of Denmark]]
|doctoral_advisor =
|doctoral_advisor =
|academic_advisors =
|academic_advisors =
Line 20: Line 20:
|author_abbrev_bot =
|author_abbrev_bot =
|author_abbrev_zoo =
|author_abbrev_zoo =
|influences = [[C.A.R. Hoare]]
|influences = [[C.A.R. Hoare]]<br/>[[Michael A. Jackson]]
|influenced = [[Jonathan Bowen]]<br/>[[He Jifeng]]<br/>[[Cliff Jones (computer scientist)|Cliff Jones]]<br/>[[Zhou Chaochen]]
|influenced = [[Jonathan Bowen]]<br/>[[He Jifeng]]<br/>[[Cliff Jones (computer scientist)|Cliff Jones]]<br/>[[Zhou Chaochen]]
|awards = [[Order of the Dannebrog]] (1985)
|awards = [[Order of the Dannebrog]] (1985)
Line 39: Line 39:
In 2007, a Symposium was held in Macau in honour of Dines Bjørner and [[Zhou Chaochen]].<ref>[[Cliff B. Jones]], [[Liu Zhiming (computer scientist)|Zhiming Liu]], [[Jim Woodcock]] (Eds.): ''[http://www.informatik.uni-trier.de/~ley/db/conf/birthday/BjornerZhou2007.html Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays], Papers presented at a Symposium held in Macao, China, September 24–25, 2007. [[Lecture Notes in Computer Science]], Volume 4700, [[Springer-Verlag|Springer]], 2007. {{ISBN|978-3-540-75220-2}}.</ref>
In 2007, a Symposium was held in Macau in honour of Dines Bjørner and [[Zhou Chaochen]].<ref>[[Cliff B. Jones]], [[Liu Zhiming (computer scientist)|Zhiming Liu]], [[Jim Woodcock]] (Eds.): ''[http://www.informatik.uni-trier.de/~ley/db/conf/birthday/BjornerZhou2007.html Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays], Papers presented at a Symposium held in Macao, China, September 24–25, 2007. [[Lecture Notes in Computer Science]], Volume 4700, [[Springer-Verlag|Springer]], 2007. {{ISBN|978-3-540-75220-2}}.</ref>


Bjørner is married to Kari Bjørner, with two children and five grandchildren.{{fact|date=September 2018}}
Bjørner is married to Kari Bjørner, with two children and five grandchildren.<ref>{{cite web| url=http://www2.compute.dtu.dk/~dibj/node4.html | title=Biography | first=Dines | last=Bjørner | publisher=[[Technical University of Denmark]] | location=Denmark | date=16 April 2016 | accessdate=18 August 2019 }}</ref>


==Selected books==
==Selected books==
Line 67: Line 67:
[[Category:Living people]]
[[Category:Living people]]
[[Category:People from Odense]]
[[Category:People from Odense]]
[[Category:Technical University of Denmark alumni]]
[[Category:Danish computer scientists]]
[[Category:Danish computer scientists]]
[[Category:IBM employees]]
[[Category:IBM employees]]

Revision as of 14:42, 18 August 2019

Dines Bjørner
Born (1937-10-04) 4 October 1937 (age 86)
Odense, Denmark
NationalityDanish
Alma materTechnical University of Denmark
Known forVienna Development Method, RAISE specification language
AwardsOrder of the Dannebrog (1985)
Scientific career
FieldsComputer science
InstitutionsTechnical University of Denmark
United Nations University

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.[1] 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.

Bjørner was a professor at the Technical University of Denmark (DTU) 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 (UNU-IIST), Macau, in 1992 and was its first director. His magnum opus on software engineering (three volumes) appeared in 2005/6.[2]

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.

Bjørner became 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 (2004) and ACM (2005). He has also been a member of the Academia Europaea since 1989.

In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen.[3]

Bjørner is married to Kari Bjørner, with two children and five grandchildren.[4]

Selected books

  • Software Engineering 1: Abstraction and Modelling, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21149-7 (2005).
  • Software Engineering 2: Specification of Systems and Languages, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21150-0 (2006).
  • Software Engineering 3: Domains, Requirements, and Software Design, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21151-9 (2006).
  • Formal Specification and Software Development, Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-329003-4 (1982).
  • The Vienna Development Method: The Meta-Language, Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61, Springer-Verlag. ISBN 3-540-08766-4 (1978).

See also

References

  1. ^ Dines Bjørner at DBLP Bibliography Server Edit this at Wikidata
  2. ^ Bjørner, Dines, Software Engineering, 3 volumes. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag (2005–6).
  3. ^ Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24–25, 2007. Lecture Notes in Computer Science, Volume 4700, Springer, 2007. ISBN 978-3-540-75220-2.
  4. ^ Bjørner, Dines (16 April 2016). "Biography". Denmark: Technical University of Denmark. Retrieved 18 August 2019.

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Dines_Bjørner&oldid=911384598"