Dines Bjørner

Dines Bjørner
Born 4 October 1937 (1937-10-04)
Odense, Denmark
Residence Denmark
Nationality Danish
Fields Computer science
Institutions Technical University of Denmark
United Nations University
Alma mater Peking University
Chinese Academy of Sciences
Known for Vienna Development Method, RAISE specification language
Notable awards Order of the Dannebrog (1985)

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 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 (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.

Selected books

See also

References

  1. Dines Bjørner's publications indexed by the DBLP Bibliography Server at the University of Trier
  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.

External links

This article is issued from Wikipedia - version of the Friday, February 19, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.