Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.

Property Value
dbo:abstract
  • Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general. (en)
dbo:birthDate
  • 1951-1-1
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8136798 (xsd:integer)
dbo:wikiPageRevisionID
  • 744991373 (xsd:integer)
dct:description
  • Computer scientist (en)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general. (en)
rdfs:label
  • Jan Bergstra (en)
owl:sameAs
prov:wasDerivedFrom
foaf:gender
  • male (en)
foaf:givenName
  • Jan (en)
foaf:isPrimaryTopicOf
foaf:name
  • Jan Bergstra (en)
foaf:surname
  • Bergstra (en)
is dbo:wikiPageRedirects of
is foaf:primaryTopic of