=============== K.G. Larsen =============== - hoogleraar Industriële Toepassingen van Formele Methoden in de faculteit Informatica - benoeming voor 0,2 fte ingaande 1-3-2000 voor een periode van drie jaar. (Besluit CvB d.d. 10 februari 2000)