Speech Keynote 3:  Chair Keynote Speech 1:  Panelists Closing Panel:
	Dines Bjorner (General Chair: UNU/IIST, Macau)

Prof. Dr. Dines Bjorner, Director of United Nations University,
		International Institute for Software Technology, Macau


UNU/IIST Employment: 2. July 1992 --- 1. July 1997 
Date of Birth: 4. Oct. 1937 
Place of Birth: Odense, Denmark 
Nationality: Danish 

Education: 

+ M.Sc.E.E., Techn. Univ. of Denmark, 1956--1962 
+ Ph.D.C.S., Techn. Univ. of Denmark, 1965--1969

Previous Work: 

+ IBM: 
+ Nordic Labs., Stockholm, Sweden, 1962--1963 
+ IBM SDD (Sys. Devt. Div.) Labs., San Jose, Calif., USA, 1963--1965 
+ IBM ESRI (Europ. Sys. Res. Inst.), Geneva, Switzerland, 1967--1968 
+ IBM Adv. Comp. Sys. Lab., Menlo Park, Calif., USA, 1969 
+ IBM Research, San Jose, Calif., USA, 1969--1973 
+ Univ. of Calif., Berkeley, Guest Prof., 1971--1972 
+ IBM Vienna Lab., Vienna, Austria, 1973--1975
+ Copenhagen Univ., Dept. of Comp. Sci., Guest Prof., 1975--1976 
+ Techn. Univ. of Denmark, Dept. of Comp. Sci., Prof., 1976-- 
+ Miscellaneous: 
+ Co-founder & Scientific Director, Dansk Datamatik Center, 1979--1988 
+ Chairman: Danish Govt. Informatics Commission, 1982--1984 
+ Science Advisor: CRI (Computer Resources Intl.) A/S, 1989--1992 
+ Kiel Univ., Inst. of Informatics, Guest Prof., 1980

Professional : 

+ 1962--1965, 1969: Devt. of IBM Computing Equipment:
			IBM 1070, 1800, 1130, ACS/1 
+ 1969--1975: Relational database theory (w/ E.F.Codd), Functional
  Programming (w/ J.W.Backus), Vienna Development Method
  (VDM, w/ H. Beki{\'c}, P.Lucas, C.B.Jones, et al.) 
+ 1975-1992: R of VDM Programming Methodology, incl. exploratory
  applications to CHILL, etc.;
  initiated EC projects: Ada, FMA: Formal methods Appraisal,
  RAISE (315) & LaCoS (5383): Rigorous Approach to Industrial Software
  Engineering, resp. Large-scale Correct Software (using formal methods) 
+ Project leader: EC/ESPRIT/BRA: ProCoS, 1989--1992 
+ Co-founder of Europ. Comm. sponsored VDM (later Formal Methods) Europe. 
+ Editor & Co-author of more than 10 books. 
+ Published more than 50 papers. 
+ Editor of 10 Techn./Sci. Journals. 
+ Member of more than 50 Intl. Conf. Programme Committees,
  incl. Chm. of IFIP World Computer Congress, 1986, Dublin 
+ Member of AAAI, ACM, BCS, EATCS, IEEE CS, IPSJ, SIAM Prof. Socs. 
+ Member of IFIP WG2.2 + WG2.3 
+ Member of Danish Academy of Technical Science 
+ Member of Academia Europea 
+ Knight of the Royal Danish Flag


http://www.iist.unu.edu/ - United Nations University,
		International Institute for Software Technology, Macau