J. W. de Bakker

URI: https://gptkb.org/entity/J._W._de_Bakker
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Mathematical_Centre,_Amsterdam
gptkbp:birthYear 1942
gptkbp:deathYear 2023
gptkbp:doctoralAdvisor gptkb:Adriaan_van_Wijngaarden
gptkbp:employer gptkb:Vrije_Universiteit_Amsterdam
gptkb:Centrum_Wiskunde_&_Informatica
gptkbp:field gptkb:mathematics
theoretical computer science
gptkbp:fullName gptkb:Jan_Willem_de_Bakker
https://www.w3.org/2000/01/rdf-schema#label J. W. de Bakker
gptkbp:knownFor gptkb:semantics_of_programming_languages
formal methods
concurrency theory
gptkbp:nationality Dutch
gptkbp:notableStudent gptkb:Jan_Bergstra
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:ALGOL_68
gptkbp:bfsLayer 6