This issue in pdf
(64 pages; 13,7 Mb)
|
|
| |
|
| |
 CWI - 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. |
|
