J. W. de Bakker

URI: https://gptkb.org/entity/J._W._de_Bakker

GPTKB entity

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:theoretical_computer_science gptkb:mathematics
gptkbp:fullName	gptkb:Jan_Willem_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
https://www.w3.org/2000/01/rdf-schema#label	J. W. de Bakker