Dines Bjørner (born 4 October 1937) is a Danish

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

. He specializes in research into

domain engineering Domain engineering is the entire process of reusing domain knowledge in the production of new software systems. It is a key concept in systematic software reuse and product line engineering. A key idea in systematic software reuse is the domain. M ...

requirements engineering Requirements engineering (RE) is the process of defining, documenting, and maintaining requirements in the engineering design process. It is a common role in systems engineering and software engineering. The first use of the term ''requiremen ...

and

formal methods In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...

. He worked with Cliff Jones and others on the

Vienna Development Method The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems. Originating in work done at the IBM Laboratory Vienna in the 1970s, it has grown to include a group of techniques ...

(VDM) at IBM Laboratory Vienna (and elsewhere). He played a leading role in the EU ESPRIT ProCoS project on ''Provably Correct Systems'' during 1989–1995. Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support. Bjørner was a

professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other tertiary education, post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin ...

at the

Technical University of Denmark The Technical University of Denmark (), often simply referred to as DTU, is a polytechnic university and school of engineering. It was founded in 1829 at the initiative of Hans Christian Ørsted as Denmark's first polytechnic, and it is today ran ...

(DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establishing the

United Nations University The is the think tank and academic arm of the United Nations. Headquartered in Shibuya, Tokyo, Japan, with diplomatic status as a UN institution, its mission is to help resolve list of global issues, global issues related to Human development ...

International Institute for Software Technology ( UNU-IIST),

Macau Macau or Macao is a special administrative regions of China, special administrative region of the People's Republic of China (PRC). With a population of about people and a land area of , it is the most List of countries and dependencies by p ...

, in 1992 and was its first director. His ''

magnum opus A masterpiece, , or ; ; ) is a creation that has been given much critical praise, especially one that is considered the greatest work of a person's career or a work of outstanding creativity, skill, profundity, or workmanship. Historically, ...

'' on

software engineering Software engineering is a branch of both computer science and engineering focused on designing, developing, testing, and maintaining Application software, software applications. It involves applying engineering design process, engineering principl ...

(three volumes) appeared in 2005/6. To support VDM, Bjørner co-founded VDM-Europe, which subsequently became

Formal Methods Europe Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and computer hardware, hardware in computer-based systems. The association's members are drawn fr ...

, 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 The Order of the Dannebrog () is a Denmark, Danish order of chivalry instituted in 1671 by Christian V of Denmark, Christian V. Until 1808, membership in the Order was limited to fifty members of noble or royal rank, who formed a single cla ...

in 1985. He received a Dr.h.c. from the

Masaryk University Masaryk University (MU) (; ) is the second largest university in the Czech Republic, a member of the Compostela Group and the Utrecht Network. Founded in 1919 in Brno, it now consists of ten faculties and 35,115 students. It is named after To ...

Brno Brno ( , ; ) is a Statutory city (Czech Republic), city in the South Moravian Region of the Czech Republic. Located at the confluence of the Svitava (river), Svitava and Svratka (river), Svratka rivers, Brno has about 403,000 inhabitants, making ...

Czech Republic The Czech Republic, also known as Czechia, and historically known as Bohemia, is a landlocked country in Central Europe. The country is bordered by Austria to the south, Germany to the west, Poland to the northeast, and Slovakia to the south ...

in 2004. In 2021, he obtained a Dr. techn. from the

Kongens Lyngby Kongens Lyngby (, Danish for "the King's Heather Town"; short form Lyngby) is the seat and commercial centre of Lyngby-Taarbæk Municipality in the northern suburbs of Copenhagen, Denmark. Lyngby Hovedgade is a busy shopping street and the site ...

Denmark Denmark is a Nordic countries, Nordic country in Northern Europe. It is the metropole and most populous constituent of the Kingdom of Denmark,, . also known as the Danish Realm, a constitutionally unitary state that includes the Autonomous a ...

. He is a Fellow of the

IEEE The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) organization, 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines. The IEEE ...

(2004) and ACM (2005). He has also been a member of the

Academia Europaea The Academia Europaea is a pan-European Academy of humanities, letters, law, and sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europe ...

since 1989. In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen. In 2021, Bjørner was elected to a

(FME) Fellowship. Bjørner is married to Kari Bjørner, with two children and five grandchildren.

Selected books

* ''Domain Science and Engineering: A Foundation for Software Development'', Bjørner, D. Monographs in Theoretical Computer Science, An EATCS Series,

Springer Nature Springer Nature or the Springer Nature Group is a German-British academic publishing company created by the May 2015 merger of Springer Science+Business Media and Holtzbrinck Publishing Group's Nature Publishing Group, Palgrave Macmillan, and Macm ...

. Hardcover ; softcover ; eBook (2021). * ''Software Engineering 1: Abstraction and Modelling'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series,

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

. (2005). * ''Software Engineering 2: Specification of Systems and Languages'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series,

. (2006). * ''Software Engineering 3: Domains, Requirements, and Software Design'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series,

. (2006). * ''Formal Specification and Software Development'', Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science,

Prentice Hall Prentice Hall was a major American publishing#Textbook_publishing, educational publisher. It published print and digital content for the 6–12 and higher-education market. It was an independent company throughout the bulk of the twentieth cen ...

. (1982). * ''The Vienna Development Method: The Meta-Language'', Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61,

. (1978).

References

External links

Home page

Biographical information

RAISE information
* * {{DEFAULTSORT:Bjorner, Dines 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

Selected books

See also

References

External links