J.A. Bergstra

URI: https://gptkb.org/entity/J.A._Bergstra

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Utrecht_University
gptkbp:author	gptkb:Handbook_of_Process_Algebra Algebraic Specification
gptkbp:birthDate	1951-04-02
gptkbp:doctoralAdvisor	gptkb:L.E.J._Brouwer
gptkbp:doctoralStudent	gptkb:Bastiaan_Heeren gptkb:C.A._Middelburg gptkb:Inge_Bethke gptkb:Johan_F.A.K._van_Benthem gptkb:Ying_Jiang gptkb:Jan_Rutten gptkb:Mark_van_den_Brand gptkb:Wan_Fokkink gptkb:Jos_Baeten
gptkbp:editor	gptkb:Journal_of_Logic_and_Algebraic_Programming gptkb:Science_of_Computer_Programming
gptkbp:employer	gptkb:University_of_Amsterdam gptkb:Utrecht_University
gptkbp:field	gptkb:mathematics computer science
gptkbp:fullName	gptkb:Jan_Aldert_Bergstra
https://www.w3.org/2000/01/rdf-schema#label	J.A. Bergstra
gptkbp:knownFor	formal methods process algebra term rewriting
gptkbp:memberOf	gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality	Dutch
gptkbp:occupation	gptkb:computer_scientist
gptkbp:position	gptkb:professor
gptkbp:bfsParent	gptkb:Handbook_of_Process_Algebra
gptkbp:bfsLayer	7