| dbo:abstract |
Jacobus Willem „Jaco“ de Bakker (* 7. März 1939 in Ede; † 13. Dezember 2012 in Amsterdam) war ein niederländischer theoretischer Informatiker. De Bakker wurde 1967 an der Universität von Amsterdam bei Aad van Wijngaarden promoviert (Formal Description of Programming Languages: with an application to the definition of ALGOL 60). De Bakker war seit 1964 wissenschaftliches Mitglied am Centrum Wiskunde & Informatica (CWI) in Amsterdam (damals Mathematisch Centrum). Er war dort Leiter der Informatik, leitete das Software Engineering Cluster und war seit 2002 Fellow (in diesem Jahr wurde er emeritiert). Ab 1973 war er auch Professor für Informatik an der Freien Universität Amsterdam, an der er 2002 emeritiert wurde. Er befasste sich insbesondere mit Semantik von Programmiersprachen – auf diesem Gebiet galt er als einer der Pioniere – und Beweistheorie (Korrektheit von Programmen). Ab den 1980er Jahren befasste er sich auch mit gleichläufigen (konkurrenten) Prozessen. Er war 1972 einer der Gründer der European Association for Theoretical Computer Science (EATCS). 1972 bis 1982 war er deren Vizepräsident und bis 1988 in deren Rat. Ab 1998 war er Ehrenmitglied der IFIP Working Group 2.2. (Formal Description of Programming Concepts). 1990 wurde er Mitglied der Academia Europaea. 1989 wurde er Mitglied der Königlich Niederländischen Akademie der Wissenschaften und 2002 Ritter vom Orden vom Niederländischen Löwen. Er war verheiratet und hatte fünf Kinder. (de) Jacobus Willem (Jaco) de Bakker (7 March 1939 – 13 December 2012) was a Dutch theoretical computer scientist and professor at the Vrije Universiteit Amsterdam. (en) Jacobus Willem „Jaco“ de Bakker (1939-2012) est un informaticien théoricien néerlandais. (fr) Jacobus Willem (Jaco) de Bakker (Ede, 7 maart 1939 – Amsterdam, 13 december 2012) was een Nederlands theoretisch informaticus en hoogleraar aan de Vrije Universiteit Amsterdam. (nl) Jacobus Willem "Jaco" de Bakker (Ede, 7 de março de 1939 — Amsterdam, 13 de dezembro de 2012) foi um informático neerlandês. 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 , 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. (pt) |
| dbo:birthDate |
1939-03-07 (xsd:date) |
| dbo:wikiPageID |
70384577 (xsd:integer) |
| dbo:wikiPageLength |
2869 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1116982394 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Aad_van_Wijngaarden dbc:2012_deaths dbr:Computer_science dbr:Theoretical_computer_science dbc:1939_births dbc:Dutch_computer_scientists dbr:Centrum_Wiskunde_&_Informatica dbr:Vrije_Universiteit_Amsterdam dbr:Academia_Europaea dbr:Amsterdam dbr:Ede,_Netherlands dbr:Proof_theory dbc:Vrije_Universiteit_Amsterdam_faculty dbr:Semantics dbr:Koninklijke_Nederlandse_Akademie_van_Wetenschappen dbr:Universiteit_van_Amsterdam dbr:Mathematisch_Centrum dbr:Orde_van_de_Nederlandse_Leeuw |
| dbp:almaMater |
dbr:Vrije_Universiteit_Amsterdam |
| dbp:birthDate |
1939-03-07 (xsd:date) |
| dbp:birthName |
Jacobus Willem de Bakker (en) |
| dbp:birthPlace |
dbr:Ede,_Netherlands |
| dbp:deathDate |
0001-12-13 (xsd:gMonthDay) |
| dbp:deathPlace |
dbr:Amsterdam |
| dbp:discipline |
dbr:Computer_science |
| dbp:doctoralAdvisor |
dbr:Aad_van_Wijngaarden |
| dbp:name |
Jaco de Bakker (en) |
| dbp:occupation |
Full professor (en) |
| dbp:wikiPageUsesTemplate |
dbt:More_citations_needed dbt:Reflist dbt:Short_description dbt:Birth-date dbt:Death-date_and_age dbt:Infobox_academic |
| dct:subject |
dbc:2012_deaths dbc:1939_births dbc:Dutch_computer_scientists dbc:Vrije_Universiteit_Amsterdam_faculty |
| rdf:type |
owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Academic dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person |
| rdfs:comment |
Jacobus Willem (Jaco) de Bakker (7 March 1939 – 13 December 2012) was a Dutch theoretical computer scientist and professor at the Vrije Universiteit Amsterdam. (en) Jacobus Willem „Jaco“ de Bakker (1939-2012) est un informaticien théoricien néerlandais. (fr) Jacobus Willem (Jaco) de Bakker (Ede, 7 maart 1939 – Amsterdam, 13 december 2012) was een Nederlands theoretisch informaticus en hoogleraar aan de Vrije Universiteit Amsterdam. (nl) Jacobus Willem „Jaco“ de Bakker (* 7. März 1939 in Ede; † 13. Dezember 2012 in Amsterdam) war ein niederländischer theoretischer Informatiker. De Bakker wurde 1967 an der Universität von Amsterdam bei Aad van Wijngaarden promoviert (Formal Description of Programming Languages: with an application to the definition of ALGOL 60). Er befasste sich insbesondere mit Semantik von Programmiersprachen – auf diesem Gebiet galt er als einer der Pioniere – und Beweistheorie (Korrektheit von Programmen). Ab den 1980er Jahren befasste er sich auch mit gleichläufigen (konkurrenten) Prozessen. (de) Jacobus Willem "Jaco" de Bakker (Ede, 7 de março de 1939 — Amsterdam, 13 de dezembro de 2012) foi um informático neerlandês. 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 , onde foi em 2002 professor emérito. (pt) |
| rdfs:label |
Jaco de Bakker (en) Jaco de Bakker (de) Jacobus Willem de Bakker (fr) Jaco de Bakker (nl) Jaco de Bakker (pt) |
| owl:sameAs |
http://d-nb.info/gnd/1047965461 http://d-nb.info/gnd/108993484X http://d-nb.info/gnd/110904907 http://viaf.org/viaf/95095 wikidata:Jaco de Bakker http://data.bibliotheken.nl/id/thes/p068899866 dbpedia-de:Jaco de Bakker dbpedia-fr:Jaco de Bakker dbpedia-nl:Jaco de Bakker dbpedia-pt:Jaco de Bakker https://global.dbpedia.org/id/Y6Ua |
| prov:wasDerivedFrom |
wikipedia-en:Jaco_de_Bakker?oldid=1116982394&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Jaco_de_Bakker |
| foaf:name |
Jaco de Bakker (en) |
| is dbo:doctoralAdvisor of |
dbr:Paul_Vitányi |
| is dbo:wikiPageDisambiguates of |
dbr:Bakker |
| is dbo:wikiPageWikiLink of |
dbr:Paul_Vitányi dbr:Bakker dbr:Modal_μ-calculus |
| is dbp:doctoralAdvisor of |
dbr:Paul_Vitányi |
| is foaf:primaryTopic of |
wikipedia-en:Jaco_de_Bakker |