Dines Bjørner
Dines Bjørner | |
|---|---|
| Born | October 4, 1937 Odense, Denmark |
| Occupation(s) | Computer scientist, professor |
| Years active | 1965–2007 |
| Known for | Vienna Development Method, RAISE formal method, Formal Methods Europe |
| Notable work | Software Engineering trilogy (2005–2006), Domain Science and Engineering (2021) |
Dines Bjørner (born 4 October 1937) is a Danish expert in computer science with a focus on domain engineering, requirements engineering, and formal methods. He played a significant role in the development of the Vienna Development Method (VDM) at the IBM Laboratory Vienna and was the principal investigator for the EU ESPRIT ProCoS initiative on Provably Correct Systems from 1989 to 1995. Subsequently, he contributed to the creation of the RAISE formal method, including its associated tooling.
Bjørner held a professor position at the Technical University of Denmark (DTU) during two periods: 1965–1969 and 1976–2007. In 1992, he established the United Nations University International Institute for Software Technology (UNU-IIST) in Macau, serving as its inaugural director. His extensive trilogy on software engineering was released between 2005 and 2006.
To advance the use of VDM, Bjørner co-initiated VDM-Europe, which evolved into Formal Methods Europe, an organization dedicated to fostering conferences and industry partnerships. He also founded the ForTIA Formal Techniques Industry Association in 2003.
His honors include being knighted in the Order of the Dannebrog in 1985 and receiving honorary doctorates from Masaryk University in 2004 and DTU in 2021. Bjørner is recognized as a Fellow of the IEEE since 2004, a Fellow of the ACM from 2005, and has been a member of the Academia Europaea since 1989. In 2021, he was awarded a Fellowship by Formal Methods Europe.
Bjørner’s contributions have significantly shaped formal methods within software engineering, influencing both scholarly research and practical industry implementation.
Selected books
- Domain Science and Engineering: A Foundation for Software Development, D. Bjørner. Monographs in Theoretical Computer Science, An EATCS Series, Springer Nature. Available in hardcover, softcover, and eBook formats (2021).
- Software Engineering 1: Abstraction and Modelling, D. Bjørner. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. (2005).
- Software Engineering 2: Specification of Systems and Languages, D. Bjørner. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. (2006).
- Software Engineering 3: Domains, Requirements, and Software Design, D. Bjørner. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. (2006).
- Formal Specification and Software Development, D. Bjørner and C.B. Jones. Prentice Hall International Series in Computer Science, Prentice Hall. (1982).
- The Vienna Development Method: The Meta-Language, D. Bjørner and C.B. Jones (editors). Lecture Notes in Computer Science, Volume 61, Springer-Verlag. (1978).
See also
External links
- Pages with script errors
- Articles with short description
- Articles with hCards
- No local image but image on Wikidata
- 1937 births
- Living people
- People from Odense
- Technical University of Denmark alumni
- Danish computer scientists
- IBM employees
- Academic staff of the Technical University of Denmark
- Academic staff of United Nations University
- Formal methods people
- Computer science writers
- Knights of the Order of the Dannebrog
- Fellows of the IEEE
- 2005 fellows of the Association for Computing Machinery
- Members of Academia Europaea