My Association with China (PRC)
1981-20121
Dines Bjørner, Professor Emeritus
Lic.techn. (PhD),
Dr.h.c.2,
MAE3, MRANS4, ACM
Fellow5, IEEE
Fellow6
October 25, 2012
DTU Informatics,
DK-2800 Lyngby, Denmark
E-Mail: bjorner@gmail.com,
URL: http://www.imm.dtu.dk/~dibj
Abstract:
This note serves to inform relevant people and
institutions about my relations, over the last 30+
years, with China. I have visited China more than 50 times.
I have lived five years (2.7.92-1.7.97) in China
[Macau]. I have had several Chinese fellows in my
univ. group. I have employed one Chinese Professor
for three plus five years in my groups. As Scientific Director
of DDC (Dansk Datamatik Center, 1979-1989) I have had
two years of negotiations, and as UN Director, for the UN University
Institute of Software technology, Macau SAR, China, I have had five
years of regular negotiations -- with the highest officials
in five different ministries. I regularly met
(Education, Science & Technology and other) officials
from the PRC Embassy in Denmark. Our daughter, Charlotte, is married
with two children to Mr. Xu Wei.
- Lecturing:71981-2012
Changsha Inst. of Techn. (CIT aka NUDT),
Chengdu Inst. of Comp. Applics. (CAS),
Chinese University of HongKong,
City Polytechnic University of HongKong,
Computer Technology Institute (CAS, Beijing)
Sun YatSen Univ. (Guangzhou),
East China Univ. of Sci.& Techn. (Shanghai),
Fudan Univ. (Shanghai),
HongKong Polytechnic University,
HongKong University of Science & Technology,
The University of HongKong,
Macau University,
Mathematics Institute (CAS, Beijing),
Nanjing Univ.
Peking Univ.,
Qinghua Univ. (Beijing),
Shanghai JiaoTong Univ.,
Software Institute (CAS, Beijing),
Software Engineering Centre (CAS, Beijing),
South China Univ. of Sci.&Techn. (Guangzhou),
Wuhan University,
Xi'an Northwestern Univ.
- Conferences:1981-1997
Beijing,
ChengDu,
Hong Kong,
Kunming,
Macau,
QuFu,
Shanghai,
Urumqi,
Xi'an
- Industry Relations:
- BISE: Beijing Institute of Systems Engineering
1984-1991
Consultancy on Software Engineering.
- Product Sales: 1984-1987
COSTIND (Commission for Sci., Techn. &
Industry
for National Defence (PLA);
Software: Ada Compiler)8
- Software Houses: Several (!)1984-1997
Consultancy on Software Engineering.
- UNU/IIST:1991-1999
I was UN Director 1991-1997, founding etc. the
UN University's
International Institute for Software
Technology, Macau.
- UN Negotiations:1991-1997
Chinese Academy of Science,
Natural Science Foundation of China (NSFC),
State Education Commission (SEC, now Min.of Educ.),
State Sci. & Techn. Commission,
(SSTCC, now Min. of Sci. & Techn.)
High level Research and Univ.Educ. policy and strategy
consultancy
and support from UN to China.
- Joint UNU/IIST-China Projects:
1991-1997
ASC (Asia Simulation and Control, Zhuhai),
Changsha Inst. of Techn. (CIT, NUDT),
ChengDu Inst. of Computer Applics. (CICA, CAS),
Chinese Ministry of Railways: Beijing, Shanghai, Zhengzhou,
Nanjing Univ.,
Software Inst. (CAS, Beijing),
SSTCC (State Sci. & Techn. Comm. for China)
- Ongoing University and Academy of Science (CAS) Relations:
1981-...
- Changsha Institute of Technology
- Chinese University of HongKong
- Computer Technology Institute (CAS, Beijing)
- The University of HongKong
- Mathematics Institute (CAS, Beijing)
- Nanjing University
- Peking University
- Qinghua University (Beijing)
- Shanghai Jiao Tong University
- Software Institute (CAS, Beijing)
- Visits to China:
- 1981: 31.5 - 28.6: Beijing, Shanghai, Hangzhou, Guangzhou, Hong Kong
- 1982: 19.9 - 2.10: Beijing
- 1984: 19.6 - 8.7: Beijing, Xi'an, Nanjing, Shanghai, Hong Kong
- 1985: 25.8 - 1.9 + 10-24.9: Beijing, and Shangha, Changsha, Guilin, Guangzhou, Hong Kong
- 1987: 10-16.1: Beijing
- 1989: 9-13.9: Beijing, Hong Kong
- 1991: 6-11.7 + 18-22.12 etc.: Beijing, Hong Kong, Macau
- 1992: 24-30.7 +
14-15.8 +
22-24.8 +
3-18.10 +
12-19.12 etc.:
Beijing, Shanghai, Urumqi, Turufan, Shanghai, Hong Kong, Macau
- 1993: 5.2 + 16.3 + 25-28.10 +
13-20.11 + 20-25.11 etc.:
Hong Kong, Macau, Zhuhai, Beijing, Shanghai, Jinan, QuFu
- 1994: 4-7.5
+ 14-17.5
+ 15-18.11 etc.: Hong Kong, Macau, Beijing, Shanghai
- 1995: 3.4 + 10-15.8 + 23-27.8 etc.: Zhuhai, Beijing, Kunming
- 1996: 27.3 + 29.3-9.4 + 27-30.5 + 1-8.6 etc.:
Hong Kong, Macau, Zhuhai, Beijing, Chengdu
- 1997: 3-7.3 + 6-17.6 etc.: Guangzhou, Beijing, ChongQing, Wuhan, Changsha
- 1998: 18-19.4 + 30.4-5.5 etc: Hong Kong, Macau, Beijing
- 1999: 19-22.5 + 27-31.5: Macau, Beijing
- 2000: May: Part of official Danish Govt. delegation to
China: Peking, Shanghai and Hong Kong
- Every year, 1-2 times annually, after 2000:
- Chinese Academy of Science, Beijing: Software Institut, etc.
- The three leading Hong Kong Universities: HKU, CUHK, HKUS&T
- UNU-IIST, Macau
- Occasionally: Peking Univ., Qinghua Univ., Shanghai Fudan ,
Shanghai Jiao Tong, etc.
- March 2007: Univs. in Beijing, Chongqing, Shanghai, Nanjing,
Guangzhou and Hong Kong, 4 weeks
- Sept. 2007: Festschrift in my honour, UNU-IIST, Macau SAR
- April 2011: Visits to IS/CAS, BEIANG, SIAT/CAS (Shenzhen), CUHK
(HKg), UNU-IIST
- Nov./Dec. 2012: Visits to BeiDa, UNU-IIST, APSEC/HKG,
ECNU, IS/CAS, etc.
- Chinese Visits to my Group:
- 1982-1984: Two fellows, 20 months, DTH
- 1984-1985: Two fellows, 12 months, DTH
- 1985: Kina's PLA Minister for Sci. & Tech., Mr Ding Heng
Gao med følge
- 1989: Kina's PLA Minister for Sci. & Tech., Mr Ding Heng
Gao med følge
- 1987-1989: Two fellows, 20 months, DTH
- 1984, 1986, 1989-1992:
One Professor, 3 + 3 + 36 months, DTH
- 1982-1988: Approx. a dozen short,
3-5 day scientific visitors, DTH
- 1992-1997: More than 40 Fellows, each 12 months, UNU/IIST
- 1992-1997: More than a dozen Scientists, 3-6 months, UNU/IIST
- Etcetera!
DB was born 4.10.1937,
MSc 1962, PhD 1969,
IBM Development
Labs. (Stockholm, Sweden; Hursley, UK; San Jose and Menlo Park,
Calif., USA -- 1962-1966),
IBM Research (Geneva, Switzerland;
San Jose, Calif., USA; Vienna, Austria -- 1967-1975);
Vis.Prof.:
UC Berkeley, Calif., USA (1971-1972); Univ. of Copenhagen,
Denmark (1975-1976), Univ. of Kiel, Feb. Rep. of Germany (1980).
Professor: Techn. Univ. of Denmark (since 1976).
Absolved more than
70 MSc Thesis candidates (since 1977), and 24 PhDs.
Sci. lecturing in almost 60 countries on six continents.
UN Director: [first and founding director]
UN Univs. Intl. Inst. for Softw. Techn., Macau (1991-1997).
Co-founder and Sci. Dir., Dansk Datamatik Center,
Lyngby, Denmark (1979-1989).
Co-founder of VDM-Europe (1987), and
of Formal Methods Europe (FME, 1991).
More than 110 publications since
1970, incl. author of four books (2006-2009), co-author of five books and
co-editor/author of eight
books.
Editorial member of some 10 intl. sci. journals, currently
member of the editorial board of two Chinese journals.
Member of
some 50 Intl. Sci. Conf. Programme Committees -- President of four
of these.
Honorary Professor at Univ. of Macau (mid 1990s),
The
University of Hong Kong (likewise).
Member of Academia Europaea (1989,
Chairman of its Informatics Section:
http://www.iis.ee.ic.ac.uk/ e.gelenbe/AEInformatics.html).
Danish Academy for Technical Sciences (1972).
IFIP Working Groups 2.2 and
2.3.
Knight of The Danish Order of the Ensign (1984).
The John von Neumann
Medal, Hungary (1993);
the Ths. G. Mazaryk Medal, Czech Republic
(1996).
Dr. honoris causae: Masaryk Univ., Brno, Czech Republic.
Guest Professor: Univ. of Calif., Berkeley (four quarters 1971-1972),
Copenhagen
Univ. (12 months 1975-1976),
Chr.Albrechts Univ. Kiel (1980), National Univ. of Singapore (12 months 2004-2005),
Japan Adv. Inst. of Sci. &
Techn. (JAIST, 12 months 2006),
Univ. Henri Poincare / INRIA / LORIA,
Nancy, France (two months Oct.-Dec. 2007),
PhD lectures at Graz (Austria, fall 2008), Saarbrücken (Germany,
March 2009),
Edinburgh (Scotland, Sept.-Oct. 2009), Tokyo (Japan Nov.-Dec. 2009),
Vienna (Austria, 2010), Budapest (October 2010), Uppsala (Sweden,
2010), Urbino (Italy, 2012), Bergen (Norway, 2012), etc.
Three of my books have been translated into Chinese and published in
English and in Chinese by Qinghua Univ. Press.
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
My Association with China (PRC)
1981-20121
This document was generated using the
LaTeX2HTML translator Version 2002-2-1 (1.71)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 -toc_depth 6 kina50
The translation was initiated by Dines Bjorner on 2012-10-25
Footnotes
- ...1981-20121
- A first version of this note, 15 Feb. 2000,
was prepared in connection
with a visit of the Danish Rectors Conference to The Peoples
Republic of China, May 7-19, 2000, on the occassion of the 50th
commemoration of the diplomatic recognition of PRC by The Royal
Kingdom of Denmark, May 1950.
- ...
Dr.h.c.2
- http://www.muni.cz/history/awards/honorary_doctorates/138/1
- ...
MAE3
- Mbr.: Academia Europaea
http://www.acadeuro.org/
- ... MRANS4
- Mbr.: Russian Academy of
Natural Sciences (AB)
- ...
Fellow5
- http://fellows.acm.org/
- ...
Fellow6
- http://www.ieee.org/web/membership/fellows/index.html
- ...Lecturing:7
- alphabetic
lists
- ... Compiler)8
- This sale was
basically instigated by NATO and transferred
advanced software technology to the Chinese PLA
(BISE)
from DDC (Dansk Datamatik Center). I conducted
the first negotiations, in August 1984, which lead to a
major contract, Nov. 1986.
Dines Bjorner
2012-10-25