Jan Bergstra

URI: https://gptkb.org/entity/Jan_Bergstra
GPTKB entity
Statements (19)
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
https://www.w3.org/2000/01/rdf-schema#label Jan Bergstra
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