Jaco de Bakker
Jacobus Willem "Jaco" de Bakker (born March 7, 1939 in Ede ; † December 13, 2012 in Amsterdam ) was a Dutch theoretical computer scientist .
De Bakker received his doctorate in 1967 from the University of Amsterdam under Aad van Wijngaarden ( Formal Description of Programming Languages: with an application to the definition of ALGOL 60 ).
De Bakker had been a scientific member of the Centrum Wiskunde & Informatica (CWI) in Amsterdam (then the Mathematical Center) since 1964 . There he was head of IT, headed the software engineering cluster and had been a fellow since 2002 (he retired that year). From 1973 he was also Professor of Computer Science at the Free University of Amsterdam , where he retired in 2002.
He dealt in particular with the semantics of programming languages - in this area he was considered one of the pioneers - and proof theory (correctness of programs). From the 1980s he also dealt with concurrent (competitive) processes.
In 1972 he was one of the founders of the European Association for Theoretical Computer Science (EATCS). 1972 to 1982 he was its vice-president and until 1988 in its council.
From 1998 he was an honorary member of the IFIP Working Group 2.2. (Formal Description of Programming Concepts).
In 1990 he became a member of the Academia Europaea . In 1989 he became a member of the Royal Netherlands Academy of Sciences and in 2002 he became a Knight of the Order of the Dutch Lion .
He was married and had five children.
Fonts
- Mathematical Theory of Program Correctness, Prentice-Hall 1980
- with Erik de Vink: Control flow semantics, MIT Press 1996
Web links
Individual evidence
| personal data | |
|---|---|
| SURNAME | Bakker, Jaco de |
| ALTERNATIVE NAMES | Bakker, Jacobus Wilhelm de |
| BRIEF DESCRIPTION | Dutch theoretical computer scientist |
| DATE OF BIRTH | March 7, 1939 |
| PLACE OF BIRTH | Ede |
| DATE OF DEATH | December 13, 2012 |
| Place of death | Amsterdam |