Jaco de Bakker
Jaco de Bakker | |
|---|---|
| Född |
Jacobus Willem de Bakker
7 mars 1939 |
| dog | 13 december 2012 (73 år) |
| Ockupation | Hel professor |
| Akademisk bakgrund | |
| Alma mater | Vrije Universiteit Amsterdam |
| Doktorandrådgivare | Aad van Wijngaarden |
| Akademiskt arbete | |
| Disciplin | Datavetenskap |
Jacobus Willem (Jaco) de Bakker (7 mars 1939 – 13 december 2012) var en nederländsk teoretisk datavetare och professor vid Vrije Universiteit Amsterdam .
Biografi
De Bakker studerade matematik vid Vrije Universiteit och Universiteit van Amsterdam . Till sist doktorerade han 1967 under Aad van Wijngaarden för avhandlingen: Formell beskrivning av programmeringsspråk: med en ansökan till definitionen av ALGOL 60 . Sedan 1964 arbetade han redan som vetenskapsman vid den tiden vid namn Mathematisch Centrum (MC) i Amsterdam (från 1984 Centrum Wiskunde & Informatica ). Han var senare chef för datavetenskapsavdelningen, ledde Cluster Software Engineering och var sedan 2002 CWI Fellow. 1973 blev han också professor i datavetenskap vid Vrije Universiteit, där han blev emeritus 2002.
Arbete
Som datavetare var De Bakker intresserad av programmeringsspråkens matematiska semantik (som ämne där han var en pionjär) och deras bevisteori (programverifiering). Han var 1972 en av grundarna av European Association for Theoretical Computer Science (EATCS), där han var från 1972 till 1982 vice ordförande och från 1988 ledamot av styrkommittén.
1989 tilldelades han medlemskap i Koninklijke Nederlandse Akademie van Wetenschappen (KNAW) samt medlem av Academia Europaea . 2002 utsågs han till riddare av Orde van de Nederlandse Leeuw . De Bakker dog vid 73 års ålder.