Jacobus Willem de Bakker
Jacobus Willem „Jaco“ de Bakker (1939-2012) est un informaticien théoricien néerlandais.

Biographie 
De Bakker soutient une thèse de doctorat en 1967 à l'université d'Amsterdam sous la direction d'Adriaan van Wijngaarden  (titre de la thèse : Formal Description of Programming Languages: with an application to the definition of ALGOL 60).

De Bakker était depuis 1964 chercheur au Centrum voor Wiskunde en Informatica (CWI) à Amsterdam (alors appelé Mathematisch Centrum). Il y était directeur du département d'informatique, y dirigeait le  Software Engineering Cluster et était depuis 2002 fellow (année de son éméritat). À partir de 1973 il était aussi professeur d'informatique à l'université libre d'Amsterdam, jusqu'à son éméritat en 2002.

Travaux et activités 

De Bakker travaillait en sémantique des langages de programmation, notamment en sémantique opérationnelle et sémantique dénotationnelle, où il était considéré comme un pionnier, et en théorie des démonstrations, notamment de la correction de programmes. Un de ses contributions importante est connue sous le nom de règle d'induction de de Bakker et Scott. Son livre Mathematical theory of program correctness décrit l'ensemble de cette théorie. À partir des années 1980 il  travaillait également sur les processus concurrents. Aux Pays-Bas, Jaco de Bakker était à l’origine d'une importante école d'informaticiens théoriciens, avec Jan van Leeuwen et Grzegorz Rozenberg ; il compte autour de 150 descendants scientifiques. Il était aussi impliqué dans le développement et la participation de la communauté de chercheurs néerlandais au sein des programmes européens de recherche d'alors tels que FAST, Meteor, ESPRIT (European Strategic Program on Research in Information Technology) ou BRA (Basic Research Actions). 
De Bakker était, en 1972, l'un des fondateurs de l'European Association for Theoretical Computer Science (EATCS). Il en était vice-président de 1972 à 1982, et encore dans le conseil jusqu'en 1988.

À partir de 1998 il était membre honoraire du  Working Group 2.2. (Formal Description of Programming Concepts) de l'IFIP. En 1990 il devient membre de l'Academia Europaea. En 1989  il devient membre de l'Académie royale néerlandaise des arts et des sciences et en  2002 chevalier de l'Ordre du Lion néerlandais.

Publications 
.
.

Notes et références

Liens externes  
Publications de Jaco de Bakker sur DBLP
Nécrologie au CWI
 

Chevalier de l'ordre du Lion néerlandais
Membre de l'Academia Europaea
Personnalité néerlandaise de l'informatique
Personnalité en informatique théorique
Naissance en mars 1939
Décès en décembre 2012
Informaticien néerlandais
Décès à 73 ans
Jacobus Willem „ Jaco“ de Bakkerest un informaticien théoricien néerlandais . Biographie De Bakker soutient une thèse de doctorat enà l' université d' Amsterdam sous la direction d' Adriaan van Wijngaarden ( titre de la thèse \ : Formal Description of Programming Languages : with an application to the definition of ALGOL De Bakker était depuischercheur à le Centrum voor Wiskunde en Informatica ( CWI ) à Amsterdam ( alors appelé Mathematisch Centrum ) . Il y était directeur de le département d' informatique , y dirigeait le Software Engineering Cluster et était depuisfellow ( année de son éméritat ) . À partir deil était aussi professeur d' informatique à l' université libre d' Amsterdam , jusqu' à son éméritat en Travaux et activités De Bakker travaillait en sémantique de les langages de programmation , notamment en sémantique opérationnelle et sémantique dénotationnelle , où il était considéré comme un pionnier , et en théorie de les démonstrations , notamment de la correction de programmes . Un de ses contributions importante est connue sous le nom de règle d' induction de de Bakker et Scott . Son livre Mathematical theory of program correctness décrit l' ensemble de cette théorie . À partir de les annéesil travaillait également sur les processus concurrents . À les Pays-Bas , Jaco de Bakker était à l’ origine d' une importante école d' informaticiens théoriciens , avec Jan van Leeuwen et Grzegorz Rozenberg ; il compte autour dedescendants scientifiques . Il était aussi impliqué dans le développement et la participation de la communauté de chercheurs néerlandais à le sein de les programmes européens de recherche d' alors tels que FAST , Meteor , ESPRIT ( European Strategic Program on Research in Information Technology ) ou BRA ( Basic Research Actions ) . De Bakker était , en l' un de les fondateurs de l' European Association for Theoretical Computer Science ( EATCS ) . Il en était vice-président deà et encore dans le conseil jusqu' en À partir deil était membre honoraire de le Working Group2 . ( Formal Description of Programming Concepts ) de l' IFIP . Enil devient membre de l' Academia Europaea . En il devient membre de l' Académie royale néerlandaise de les arts et de les sciences et en chevalier de l' Ordre de le Lion néerlandais . Publications . . Notes et références Liens externes Publications de Jaco de Bakker sur DBLP Nécrologie à le CWI Chevalier de l' ordre de le Lion néerlandais Membre de l' Academia Europaea Personnalité néerlandaise de l' informatique Personnalité en informatique théorique Naissance en mars Décès en décembre Informaticien néerlandais Décès àans