Dines Bjørner

Bibliographical Notes ... Publication List ... Biography ... Photos

Professor Emeritus of Computing Science
Dept. of Mathematics and Computer Science
Technical University of Denmark

Snail–mail address: Fredsvej 11, DK-2840 Holte, Denmark
E-Mail address: bjorner@gmail.com

July 21, 2020

Thanks to DTU Compute[*] for kindly hosting this web page

1. Sept. 2007, Macau
2. Sept. 2012, Holte
3. Nov. 2018, Bangkok, The Mandarin Oriental.
For more photos see Sect. 4

Official and More Private Web Pages

Overview – Click either of the below:

Some Guiding Principles

Computer & Computing Science

I consider myself a computing scientist primarily interested in programming methodology.

Formal Methods

I consider myself to have primarily contributed to the area of formal methods, e.g., VDM and RAISE .

A Triptych of Software Engineering

My contributions in the last many years has been to establish a proper
domain science & engineering .

My main focus, since 1977, has been on the development of "large" software:
compilers (like for CHILL and Ada), and human artifact infrastructure software
(for pipelines, railways, health care, banking, road traffic, container terminal ports, etc.).

A recent focus since 2017, has been on

Are We Teaching & Researching the Right Things ?

An Essay on Didactics