Dines Bjørner: Biographical Information

Professor of Computing Science (Emeritus)

Fredsvej 11, DK-2840 Holte, Denmark - bjorner@gmail.com

April 6, 2008

"Formal" Biography

Informal, "Chatty" Biography

CV for Use in Seminar Announcements

Short Biography - in reverse chronological order:

Guest Professor, JAIST: Japan Adv. Inst. of Sci. and Techn., 2006
Guest Professor, National University of Singapore, Academic Year 2004-2005
Instigator & General Chair: FM'99 World Congress on Formal Methods, Sept.1999, 530 participants
First & Founding Director UN University's International Institute for Software Technology 2.7.1992--1.7.1997.
Leader of the EU ProCoS I Project - 1989-2002
Co-founder VDM-Europe, later FME: Formal Methods Europe - 1987
Co-founder and Chief Scientist: Dansk Datamatik Center, 1.Sept.1979 - 31.Oct.1989 - now see: DDC-I - instigator of the CHILL, Ada and RAISE projects.
Professor of Computing Science, 1.Sept. 1976 - 31.March 2007, Technical University of Denmark (Institute of) Informatics and Mathematical Modelling
Guest Professor, Kiel University, 1980
Guest Professor, Copenhagen Univ., 1975-1976
Guest Professor, UC Berkely, 1971-1972
IBM, continued:
- Vienna Lab., Austria -- Co-research & developer of VDM. May 1973 - August 1975
- Research San Jose, July 1969 - April 1973
- Adv.Comp.Sys., Menlo Park. February 1969 - June 1969 (ACS lab.closed)
PhD Computing Science, 31.Jan.1969, Technical University of Denmark
IBM, 1.March 1962-31.August 1965
- SDD Labs., San Jose, Dec. 1963 - Aug. 1965
- Nordic Labs., Sweden, March 1962 - Nov. 1963
MScEE, 31.Jan.1962, Technical University of Denmark
Published some 100 papers, (co-)edited and co-written 15 books, written the 3 volume book (for Springer) Software Engineering, 2006.
Guided some 100+ MSc Theses and some 20 PhD Theses.

Honours &c.

ACM: Fellow (2005)
Dr.h.c.: Ths.Masaryk University, Brno, Czech Republic (2004)
IEEE: Fellow (2003)
MRANS: Member of the Russian Academy of Natural Sciences (AB) (2001)
AE: Member og Academia Europaea (1989), Chairman of AE's Informatics Section
R: Knight of The Danish Flag (Dannebrogsordenen)) (1985)

Short CV for Use in Seminar Announcements ...

DB was Prof. of Computing Science at The Techn. Univ. of Denmark 1. Sept. 1976 - 31 March 2007. DB was with IBM R&D 1962-1976. At IBM DB worked with Gene Amdahl, John Backus, E.F.Codd (Relational Databases) and at the IBM Lab., Vienna, Austria - where DB worked in the small team first R&D'ing VDM, the Vienna Development Method, the first ISO standardised formal method. DB co-founded Dansk Datamatik Center 1979-1989, led many EU R&D projects including the formal spec. of a semantics for Ada, the R&D of, and compilers for CHILL and Ada, and the RAISE, Rigorous Approach to Industrial Software Engineering. 1991-1997 DB was founding and first UN Director of the Macau-based UNU-IIST, the UN University's Intl. Inst. for SW Techn. In 2006 DB published a three volume book "Software Engineering" with Springer.

...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...

About this document ...

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)