Software is een groeiend fenomeen. Meer software betekent meer complexiteit en dus meer fouten. Dat is niet te vermijden. Net zoals meer auto’s op de weg leiden tot meer ongelukken. Deze stellingen zijn voor Jurgen Vinju de motivatie om vol in te zetten op het ontwikkelen van tools om die ­complexiteit te beheersen.

Vinju is hoofdonderzoeker aan het Amsterdamse Centrum voor Wiskunde & Informatica (CWI) en hield onlangs zijn intreerede als hoogleraar automatische softwareanalyse aan de TU Eindhoven. Hij pleit voor een herwaardering van legacy-software. “De trend is tegenwoordig alle oldtimers in de software als ‘slecht’ te betitelen, als spaghetti en ouwe troep waar je niks mee te maken wil hebben. Dat klopt niet. Het zijn de softwaresystemen waar we 40 jaar lang op hebben vertrouwd en die het nog steeds doen. Dat is gewoon heel knap! Door die software goed te analyseren, kun je leren hoe dat destijds is bedacht en die kennis ­hergebruiken.”