Jaco de Bakker
Aspeto
Jaco de Bakker | |
---|---|
Nascimento | 7 de março de 1939 Ede |
Morte | 13 de dezembro de 2012 (73 anos) Amsterdam |
Nacionalidade | ![]() |
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 1939 — Amsterdam, 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
[editar | editar código-fonte]- Mathematical Theory of Program Correctness, Prentice-Hall, 1980.
- com Erik de Vink: Control flow semantics, MIT Press, 1996.
Referências
- ↑ Jaco de Bakker (em inglês) no Mathematics Genealogy Project
- ↑ «CWI Fellow Jaco de Bakker passed away» (em inglês)