Jaco de Bakker
Jacobus Willem de Bakker 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 in Amsterdam. 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 and their proof theory. He was in 1972 one of the founders of the European Association for Theoretical Computer Science, 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. The next year he became member of the Academia Europaea. In 2002 he was named a knight of the Orde van de Nederlandse Leeuw. De Bakker died at the age of 73.