Jacobus Willem (Jaco) de Bakker (7 de marzo de 1939 - 13 de diciembre de 2012) fue un informático teórico holandés y profesor en la Vrije Universiteit Amsterdam .
De Bakker estudió matemáticas en la Vrije Universiteit y en la Universiteit van Amsterdam . En esta última se doctoró en 1967 con Aad van Wijngaarden con la tesis: Descripción formal de lenguajes de programación: con una aplicación a la definición de ALGOL 60. Desde 1964 ya trabajaba como científico en el Mathematisch Centrum (MC) de Amsterdam (desde 1984 Centrum Wiskunde & Informatica ). Más tarde fue jefe del departamento de informática, dirigió el Cluster de Ingeniería de Software y desde 2002 fue miembro del CWI. En 1973 también fue nombrado profesor de informática en la Vrije Universiteit, donde pasó a ser emérito en 2002.
Como informático, De Bakker se interesó por la semántica matemática de los lenguajes de programación (tema en el que fue pionero) y su teoría de la demostración (verificación de programas). En 1972 fue uno de los fundadores de la Asociación Europea de Informática Teórica (EATCS), de la que fue vicepresidente entre 1972 y 1982 y miembro del comité directivo a partir de 1988.
En 1989 se le concedió la membresía de la Real Academia de las Artes y las Ciencias de los Países Bajos (KNAW). [1] Al año siguiente se convirtió en miembro de la Academia Europaea . [2] En 2002 fue nombrado caballero de la Orden de los Países Bajos . [3] De Bakker murió a la edad de 73 años. [4]