Contents

• Travels
• Kari
• John Warner Backus
  • My Work for/with John
  • An Obituary: John Warner Backus, 3.Dec. 1924-17.March 2007
  
  
• Dansk Datamatik Center
  • Abstract
  • A Factual History of DDC
  • The Use of Formal Techniques at DDC
  • DDC Activities 1979-1989
    • The CHILL Projects
      • The Formal Definition of CHILL
      • The CHILL Compiler Development
    • The Ada Projects
      • The Ada Compiler Project
      • The Formal Definition of Ada
    • The RAISE Project
      • The Formal Methods Appraisal Project (FMA)
      • The RAISE Development
    • The Office Automation Project
    • Technology Transfer Activities
      • Cubus:
      • Seminars and Courses:
  • Appraisal of DDC
  • Acknowledgement
  
  
• UNU-IIST
  • March 1987
  • Director Designate: 1991-1992
  • The Macau Authorities
  • The UNU Rector ...--1991-1997
  • My Staff, The Fellows and Programme
  • The UNU/IIST Board and UNU Council
    • UNU/IIST Board
    • UNU Council
  • My Impressions of UN
  • Why Did I Join the UN ?