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
May 9, 2017

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:

• Current Research:
  • Publication:
    • My major interest - wrt. computing - is currently in domain engineering and science.
      My most recently accepted (2015) 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.
  • Research Reports:
    • See also (2016): From Manifest Domain Descriptions to Requirements Prescriptions
      http://www2.compute.dtu.dk/~dibj/2015/faoc-req/faoc-req.pdf
    • Early June (2016) I completed: Domain Facets: Analysis & Description
      http://www2.compute.dtu.dk/~dibj/2016/facets/faoc-facets.pdf
    • Early November (2016) I completed: Domain Analysis and Description
      Formal Models of Processes and Prompts
      http://www.imm.dtu.dk/~dibj/2016/process/process-p.pdf
    • In December(2016) I finished a complete rewrite of into:
      To Every Manifest Domain a CSP Expression
      http://www2.compute.dtu.dk/~dibj/2016/mereo/mereo.pdf
  • Research Note:
    • In June (2016) 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
  • Technical Reports: Experimental Research:
    • In May (2016) I wrote a Technical cum Experimental Research report: A Credit Card System ,
      http://www.imm.dtu.dk/~dibj/2016/credit/accs.pdf.
    • And in Mid November (2016) I finalised a first (incomplete) draft of
      another Technical cum Experimental Research report:
      Weather Information Systems: Towards a Domain Description
      http://www.imm.dtu.dk/~dibj/2016/wis/wis-p.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!