Jaco de Bakker - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for Jaco de Bakker.

Jaco de Bakker

Jaco de Bakker
Nascimento 7 de março de 1939
Ede
Morte 13 de dezembro de 2012 (73 anos)
Amsterdam
Nacionalidade Países Baixos Neerlandês
Alma mater Universidade de Amsterdam
Orientador(es)(as) Adriaan van Wijngaarden[1]
Orientado(a)(s) Paul Vitanyi
Campo(s) Informática
Tese 1967: Formal Definition of Programming Languages: with an Application to the Definition of ALGOL 60

Jacobus Willem "Jaco" de Bakker (Ede, 7 de março de 1939Amsterdam, 13 de dezembro de 2012) foi um informático neerlandês.[2]

De Bakker obteve um doutorado em 1967 na Universidade de Amsterdam, orientado por Adriaan van Wijngaarden, com a tese Formal Definition of Programming Languages: with an Application to the Definition of ALGOL 60. A partir de 1973 foi também Professor de informática na Universidade Livre de Amsterdam, onde foi em 2002 professor emérito.

Em 1990 foi membro da Academia Europaea. Em 1989 tornou-se membro da Academia Real das Artes e Ciências dos Países Baixos e em 2002 recebeu a comenda de cavaleiro da Ordem do Leão Neerlandês.

Obras

  • Mathematical Theory of Program Correctness, Prentice-Hall, 1980.
  • com Erik de Vink: Control flow semantics, MIT Press, 1996.

Referências

Este artigo sobre um(a) cientista da computação é um esboço. Você pode ajudar a Wikipédia expandindo-o.vde


{{bottomLinkPreText}} {{bottomLinkText}}
Jaco de Bakker
Listen to this article