Vorige maand is dr. F.W. Vaandrager benoemd tot hoogleraar Informatica voor technische toepassingen aan de Faculteit der Wiskunde en Informatica van de Katholieke Universiteit Nijmegen.
Vaandrager promoveerde in 1990 aan de Universiteit van Amsterdam bij prof. Bergsma op het proefschrift ‘Algebraic techniques for concurrency and their application’. Tot voor kort was hij hoofd van het project ‘Concurrency and Real-Time Systems’ bij de afdeling Programmatuur van het Centrum voor Wiskunde en Informatica. Vaandrager is coördinator van het HCM Cooperation Network, Expressiveness of Languages for Concurrency (Express). Daarnaast werkt hij ondermeer mee aan het project ‘Specification, Testing and Verification of Software for Technical Applications’ dat wordt uitgevoerd in opdracht van Philips.
