Dines Bjørner

Research
Lectures
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
June 10, 2016

Thanks to DTU Compute for kindly hosting this web page

Sept. 2007, Macau Sept. 2012, Holte

For more photos see Sect. 5

Official and More Private Web Pages

• The table-of-contents, below, leads you into various aspects of DB's scientific and educational career.
• By clicking this: Micellaneous Information you can reach less official areas of DB's life.

Overview - Click either of the below:

• Research:
  • My major interest - wrt. computing - is currently in domain engineering and science.
    My most recent complete paper is:: Manifest Domains: Analysis and Description.
    http://www2.compute.dtu.dk/~dibj/2015/faoc/faoc-bjorner.pdf
    I consider this my most important contribution in recent years.
  • See also: From Manifest Domain Descriptions to Requirements Prescriptions
    http://www2.compute.dtu.dk/~dibj/2015/faoc-req/faoc-req.pdf
  • Early June I completed: Domain Facets: Analysis & Description
    http://www2.compute.dtu.dk/~dibj/2016/facets/faoc-facets.pdf
  • In June I also completed Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions
    http://www2.compute.dtu.dk/~dibj/2016/demos/faoc-demo.pdf
  • Around March 1 I began: Manifest Domains: Analysis and Description - A Philosophical Basis
    Follow the work here (vastly incomplete draft). I expect to work on this paper the rest of this year.
    http://www2.compute.dtu.dk/~dibj/2016/apb/daad-apb.pdf
    

• Lectures: This section first shows my recent seminars, tutorials and PhD courses on three continents.

• Bibliographical Notes: This section is organised by year, and then by category: published papers, books, edited books, lecture notes and reports.

• Publication List: The biographical notes then refer to this list.

• Biography: This CV is held in an informal, almost chatty style.

• Photos: For many years I was not too fond of photos of myself. That changed around my age of 60!