Cover ERCIM News 51

This issue in pdf
(64 pages; 13,7 Mb)

cover ERCIM News No. 50
previous issue

(Number 50
July 2002):
Special theme:
ERCIM Mathematics

all previous issues

Next issue:
January 2003

Next Special theme:
Embedded Systems

About ERCIM News

Valid HTML 4.01!

< Contents ERCIM News No. 51, October 2002
  Jaco W. de BakkerCWI - Jaco W. de Bakker received a high Royal Decoration (Ridder in de Orde van de Nederlandse Leeuw), during his 'retirement symposium' at CWI on 30 August 2002. Jaco de Bakker is one of the pioneers of computer science in The Netherlands, especially in the field of mathematical semantics of programming languages and reasoning on program correctness. He worked for 38 years at CWI, and put the word 'Informatics' in the name of the former Mathematical Centre. From 1973 on, De Bakker was Professor at the Vrije Universiteit in Amsterdam, and in 1989 he became a Member of the Royal Netherlands Academy of Arts and Sciences. He wrote more than 150 scientific articles and books. De Bakker is proud that 32 scientists who worked in his group were appointed professor. Also at managerial level, De Bakker played an important role. CWI will miss him and wishes him all the best for the future.