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

May 21, 2018

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

Sept. 2007, Macau. - Sept. 2012, Holte. Kari made the ties ! 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, i.e., 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 infrastructure software
(for pipelines, railways, health care, banking, road traffic, etc.

Dines Bjorner 2018-05-21