Geburt |
7. März 1939 Ede |
---|---|
Tod |
13. Dezember 2012(bei 73) Amsterdam |
Staatsangehörigkeit | Niederländisch |
Ausbildung | Universität Amsterdam |
Aktivitäten | Informatiker , Universitätsprofessor |
Arbeitete für | Freie Universität Amsterdam |
---|---|
Mitglied von |
Königliche Niederländische Akademie der Künste und Wissenschaften (1989) Academia Europaea (1990) |
Supervisor | Adriaan van Wijngaarden (1967) |
Unterscheidung | Niederländischer Löwenorden |
Mathematische Theorie der Programmkorrektheit (1980) Kontrollflusssemantik (1996) |
Jacobus Willem „Jaco“ de Bakker (1939-2012) ist ein niederländischer Computertheoretiker .
De Bakker verteidigte 1967 eine Doktorarbeit an der Universität Amsterdam unter der Aufsicht von Adriaan van Wijngaarden (Titel der Dissertation: Formale Beschreibung der Programmiersprachen: mit einer Anwendung auf die Definition von ALGOL 60 ).
De Bakker war seit 1964 Forscher am Centrum voor Wiskunde in Informatica (CWI) in Amsterdam (damals Mathematisch Centrum genannt ). Er war Direktor der IT-Abteilung, leitete dort das Software Engineering Cluster und war seit 2002 (Jahr seines Emeritus) Fellow. Ab 1973 war er außerdem Professor für Informatik an der Freien Universität Amsterdam , bis er 2002 emeritiert wurde.
De Bakker arbeitete in der Semantik von Programmiersprachen, insbesondere in der operativen Semantik und der Denotationssemantik, wo er als Pionier galt, und in der Beweistheorie, insbesondere in der Programmkorrektur. Einer seiner wichtigen Beiträge ist als Induktionsregel von De Bakker und Scott bekannt. Sein Buch Mathematische Theorie der Programmkorrektheit beschreibt die gesamte Theorie. Ab den 1980er Jahren arbeitete er auch an gleichzeitigen Prozessen. In den Niederlanden war Jaco de Bakker der Ursprung einer wichtigen Schule theoretischer Informatiker mit Jan van Leeuwen und Grzegorz Rozenberg ; Es hat rund 150 wissenschaftliche Nachkommen. Er war auch an der Entwicklung und Beteiligung der niederländischen Forschungsgemeinschaft an europäischen Forschungsprogrammen wie FAST, Meteor, ESPRIT ( Europäisches Strategisches Programm für Forschung in der Informationstechnologie ) oder BRA (Grundlagenforschungsmaßnahmen) beteiligt. De Bakker war 1972 einer der Gründer der Europäischen Vereinigung für Theoretische Informatik (EATCS). Er war von 1972 bis 1982 Vizepräsident und bis 1988 im Vorstand.
Ab 1998 war er Ehrenmitglied der Arbeitsgruppe 2.2. ( Formale Beschreibung der Programmierkonzepte ) von IFIP . 1990 wurde er Mitglied der Academia Europaea . 1989 wurde er Mitglied der Königlich Niederländischen Akademie der Künste und Wissenschaften und 2002 Ritter des niederländischen Löwenordens .