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 la Universiteit van Amsterdam . Finalmente obtuvo su doctorado 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 entonces llamado Mathematisch Centrum (MC) en Amsterdam (desde 1984 Centrum Wiskunde & Informatica ). Posteriormente fue jefe del departamento de informática, dirigió el clúster de ingeniería de software y desde 2002 fue miembro del CWI. En 1973 también se convirtió en profesor de informática en la Vrije Universiteit, donde obtuvo el título emérito en 2002.
Como informático, De Bakker estaba interesado en la semántica matemática de los lenguajes de programación (tema en la que fue pionero) y su teoría de la prueba (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 de 1972 a 1982 y miembro del comité directivo desde 1988.
En 1989 se le concedió la membresía de la Real Academia de Artes y 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 Orde van de Nederlandse Leeuw . [3] De Bakker murió a la edad de 73 años. [4]