Op donderdag 13 december jl. is op 73-jarige leeftijd prof.dr. J.W. de Bakker overleden.
Jaco was sinds 1964 verbonden aan Mathematisch Centrum, later CWI. Hij startte als wetenschappelijk medewerker, heeft vele jaren het cluster Software Engineering geleid en was sinds 2002 CWI Fellow. Jaco de Bakker was één van de grondleggers van de theoretische informatica, in het bijzonder de bewijstheorie en semantiek.
Het CWI condoleert zijn nabestaanden met hun verlies.
Foto: CWI (2005)
