Jaco de Bakker

Jacobus Willem (Jaco) de Bakker (Ede, 7 maart 1939 – Amsterdam, 13 december 2012) was een Nederlands theoretisch informaticus en hoogleraar aan de Vrije Universiteit Amsterdam.

Jaco de Bakker
Plaats uw zelfgemaakte foto hier
Persoonlijke gegevens
Geboortedatum	7 maart 1939
Geboorteplaats	Ede
Overlijdensdatum	13 december 2012
Overlijdensplaats	AmsterdamAmsterdam
Nationaliteit	Nederlands
Wetenschappelijk werk
Vakgebied	Informatica
Universiteit	Vrije Universiteit Amsterdam
Promotor	Aad van Wijngaarden
Alma mater	Universiteit van Amsterdam
Soort hoogleraar	Gewoon hoogleraarschap

Biografie

De Bakker studeerde wiskunde aan de Vrije Universiteit en de Universiteit van Amsterdam. Bij die laatste promoveerde hij in 1967 onder Aad van Wijngaarden op het proefschrift: Formal Description of Programming Languages: with an application to the definition of ALGOL 60. Al sinds 1964 was hij als wetenschappelijk medewerker werkzaam op het toenmalige Mathematisch Centrum (MC) te Amsterdam (vanaf 1984 het Centrum Wiskunde & Informatica). Hij was vervolgens hoofd van de afdeling informatica, gaf leiding aan het Cluster Software Engineering en was sinds 2002 CWI Fellow. In 1973 werd hij daarnaast hoogleraar informatica aan de Vrije Universiteit, waar hij in 2002 met emeritaat ging.

Werk

Als informaticus hield De Bakker zich met name bezig met de mathematische semantiek van programmeertalen (op dit gebied gold hij als een pionier) en de bewijstheorie (correctheid van het programmeren). Hij was in 1972 een van de grondleggers van de European Association for Theoretical Computer Science (EATCS), waarvan hij van 1972 tot 1982 vice-voorzitter was en tot 1988 lid van het bestuur.

In 1989 werd hij benoemd tot lid van de Koninklijke Nederlandse Akademie van Wetenschappen (KNAW) alsmede lid van de Academia Europaea. In 2002 werd hij benoemd tot Ridder in de Orde van de Nederlandse Leeuw.^[1] De Bakker overleed op 73-jarige leeftijd.^[2]

Bronnen, noten en/of referenties

1. (nl) Koninklijke onderscheiding voor prof. Jaco de Bakker. Centrum Wiskunde & Informatica (01-09-2002). Gearchiveerd op 27 mei 2022.
2. (nl) CWI Fellow Jaco de Bakker overleden. Centrum Wiskunde & Informatica (10-01-2013). Gearchiveerd op 23 mei 2022.