Jaco de Bakker
This article needs additional citations for verification. (April 2022) |
Jaco de Bakker | |
---|---|
Born | Jacobus Willem de Bakker 7 March 1939 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
De Bakker studied mathematics at the Vrije Universiteit and the
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
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
References
- ^ "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.