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

February 18, 2019

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

Sept. 2007, Macau + 5 years: Sept. 2012, Holte + 6 years: 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



Dines Bjorner 2019-02-18