Jaco de Bakker
 | This article needs additional citations for verification. (April 2022) |
Jaco de Bakker | |
|---|---|
| Born | Jacobus Willem de Bakker 7 March 1939 |
| Died | 13 December 2012 (aged 73) |
| Occupation | Full professor |
| Academic background | |
| Alma mater | Vrije Universiteit Amsterdam |
| Doctoral advisor | Aad van Wijngaarden |
| Academic work | |
| Discipline | Computer science |
Jacobus Willem (Jaco) de Bakker (7 March 1939 – 13 December 2012) was a Dutch theoretical computer scientist and professor at the Vrije Universiteit Amsterdam.
Biography
[edit]De Bakker studied mathematics at the Vrije Universiteit and the Universiteit van Amsterdam. At the last he obtained his doctorate in 1967 under Aad van Wijngaarden for the thesis: Formal Description of Programming Languages: with an application to the definition of ALGOL 60. Since 1964 he was already working as a scientist at the time named Mathematisch Centrum (MC) in Amsterdam (from 1984 the Centrum Wiskunde & Informatica). He was later head of the computer science department, lead the Cluster Software Engineering and was since 2002 a CWI Fellow. In 1973 he also became professor of computer science at the Vrije Universiteit, where he became emeritus in 2002.
Work
[edit]As computer scientist De Bakker was interested in the mathematical semantics of programming languages (as subject in which he was a pioneer) and their proof theory (program verification). He was in 1972 one of the founders of the European Association for Theoretical Computer Science (EATCS), where he was from 1972 to 1982 vice-chair and from 1988 member of the steering committee.
In 1989 he was awarded membership of the Royal Netherlands Academy of Arts and Sciences (KNAW).[1] The next year he became member of the Academia Europaea.[2] In 2002 he was named a knight of the Orde van de Nederlandse Leeuw.[3] De Bakker died at the age of 73.[4]
References
[edit]- ^ "Jacobus Willem de Bakker". Digital Web Centre for the History of Science in the Low Countries. Retrieved 10 December 2023.
- ^ "Jaco de Bakker". Academia Europaea. Archived from the original on 6 July 2022.
- ^ "Koninklijke onderscheiding voor prof. Jaco de Bakker". Centrum Wiskunde & Informatica. 1 September 2002.
- ^ "CWI Fellow Jaco de Bakker overleden". Centrum Wiskunde & Informatica. 10 January 2013.
