Jan Bergstra

URI: https://gptkb.org/entity/Jan_Bergstra

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:birthDate	1951-04-02
gptkbp:birthPlace	gptkb:Rotterdam
gptkbp:doctoralAdvisor	gptkb:L.E.J._Brouwer
gptkbp:doctoralStudent	gptkb:Jos_Baeten gptkb:Yuri_Gurevich
gptkbp:employer	gptkb:University_of_Amsterdam
gptkbp:hasPhD	gptkb:Utrecht_University
gptkbp:knownFor	meadow (algebra) process algebra term rewriting
gptkbp:memberOf	gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality	Dutch
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:position	gptkb:professor
gptkbp:bfsParent	gptkb:J._W._de_Bakker
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Jan Bergstra