wiskundige; verbonden aan: Centrum voor Wiskunde en Informatica (CWI-NWO, Amsterdam)