My Association with China (PRC)
1981-2012¹

Dines Bjørner, Professor Emeritus

Lic.techn. (PhD), Dr.h.c.², MAE³, MRANS⁴, ACM Fellow⁵, IEEE Fellow⁶

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.

Overview of Contacts with China

1. Lecturing:⁷1981-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.
2. Conferences:1981-1997
   Beijing,
   ChengDu,
   Hong Kong,
   Kunming,
   Macau,
   QuFu,
   Shanghai,
   Urumqi,
   Xi'an
3. 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)⁸
   • Software Houses: Several (!)1984-1997
     Consultancy on Software Engineering.
4. UNU/IIST:1991-1999
   I was UN Director 1991-1997, founding etc. the UN University's
   International Institute for Software Technology, Macau.
   1. 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.
   2. 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)
5. 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)

6. Visits to China:
   1. 1981: 31.5 - 28.6: Beijing, Shanghai, Hangzhou, Guangzhou, Hong Kong
   2. 1982: 19.9 - 2.10: Beijing
   3. 1984: 19.6 - 8.7: Beijing, Xi'an, Nanjing, Shanghai, Hong Kong
   4. 1985: 25.8 - 1.9 + 10-24.9: Beijing, and Shangha, Changsha, Guilin, Guangzhou, Hong Kong
   5. 1987: 10-16.1: Beijing
   6. 1989: 9-13.9: Beijing, Hong Kong
   7. 1991: 6-11.7 + 18-22.12 etc.: Beijing, Hong Kong, Macau
   8. 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
   9. 1993: 5.2 + 16.3 + 25-28.10 + 13-20.11 + 20-25.11 etc.:
      Hong Kong, Macau, Zhuhai, Beijing, Shanghai, Jinan, QuFu
   10. 1994: 4-7.5 + 14-17.5 + 15-18.11 etc.: Hong Kong, Macau, Beijing, Shanghai
   11. 1995: 3.4 + 10-15.8 + 23-27.8 etc.: Zhuhai, Beijing, Kunming
   12. 1996: 27.3 + 29.3-9.4 + 27-30.5 + 1-8.6 etc.: Hong Kong, Macau, Zhuhai, Beijing, Chengdu
   13. 1997: 3-7.3 + 6-17.6 etc.: Guangzhou, Beijing, ChongQing, Wuhan, Changsha
   14. 1998: 18-19.4 + 30.4-5.5 etc: Hong Kong, Macau, Beijing
   15. 1999: 19-22.5 + 27-31.5: Macau, Beijing
   16. 2000: May: Part of official Danish Govt. delegation to China: Peking, Shanghai and Hong Kong
   17. Every year, 1-2 times annually, after 2000:
       1. Chinese Academy of Science, Beijing: Software Institut, etc.
       2. The three leading Hong Kong Universities: HKU, CUHK, HKUS&T
       3. UNU-IIST, Macau
       4. Occasionally: Peking Univ., Qinghua Univ., Shanghai Fudan , Shanghai Jiao Tong, etc.
   18. March 2007: Univs. in Beijing, Chongqing, Shanghai, Nanjing, Guangzhou and Hong Kong, 4 weeks
   19. Sept. 2007: Festschrift in my honour, UNU-IIST, Macau SAR
   20. April 2011: Visits to IS/CAS, BEIANG, SIAT/CAS (Shenzhen), CUHK (HKg), UNU-IIST
   21. Nov./Dec. 2012: Visits to BeiDa, UNU-IIST, APSEC/HKG, ECNU, IS/CAS, etc.

7. Chinese Visits to my Group:
   1. 1982-1984: Two fellows, 20 months, DTH
   2. 1984-1985: Two fellows, 12 months, DTH
   3. 1985: Kina's PLA Minister for Sci. & Tech., Mr Ding Heng Gao med følge
   4. 1989: Kina's PLA Minister for Sci. & Tech., Mr Ding Heng Gao med følge
   5. 1987-1989: Two fellows, 20 months, DTH
   6. 1984, 1986, 1989-1992: One Professor, 3 + 3 + 36 months, DTH
   7. 1982-1988: Approx. a dozen short, 3-5 day scientific visitors, DTH
   8. 1992-1997: More than 40 Fellows, each 12 months, UNU/IIST
   9. 1992-1997: More than a dozen Scientists, 3-6 months, UNU/IIST
   10. Etcetera!

Ultra-short Biography

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.

My Books Published in China and Translated to Chinese

Three of my books have been translated into Chinese and published in English and in Chinese by Qinghua Univ. Press.

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

About this document ...

My Association with China (PRC)
1981-2012¹

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-2012¹

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.²

http://www.muni.cz/history/awards/honorary_doctorates/138/1

... MAE³

Mbr.: Academia Europaea http://www.acadeuro.org/

... MRANS⁴

Mbr.: Russian Academy of Natural Sciences (AB)

... Fellow⁵

http://fellows.acm.org/

... Fellow⁶

http://www.ieee.org/web/membership/fellows/index.html

...Lecturing:⁷

alphabetic lists

... Compiler)⁸

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.