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
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
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
- ^ "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.
- Articles with short description
- Short description matches Wikidata
- Articles needing additional references from April 2022
- All articles needing additional references
- Articles with hCards
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NTA identifiers
- Articles with CINII identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with Scopus identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 1939 births
- 2012 deaths
- Dutch computer scientists
- Academic staff of Vrije Universiteit Amsterdam
- Knights of the Order of the Netherlands Lion
- Members of Academia Europaea
- Members of the Royal Netherlands Academy of Arts and Sciences
- Vrije Universiteit Amsterdam alumni