About: Jan Bergstra

Jan A. Bergstra 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
dbpprop:abstract	Jan A. Bergstra 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.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Jan_Bergstra
dbpprop:id	b/Bergstra:Jan_A=
dbpprop:name	Jan Bergstra
dbpprop:reference	http://www.science.uva.nl/~janb
dbpprop:wikiPageUsesTemplate	dbpedia:Template:dblp_name
rdf:type	http://dbpedia.org/class/yago/PeopleFromRotterdam http://dbpedia.org/class/yago/FormalMethodsPeople http://dbpedia.org/class/yago/LivingPeople
rdfs:comment	Jan A. Bergstra 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.
rdfs:label	Jan Bergstra
owl:sameAs	freebase:Jan Bergstra http://umbel.org/umbel/ne/wikipedia/Jan_Bergstra
skos:subject	dbpedia:Category:People_from_Rotterdam dbpedia:Category:Members_of_Academia_Europaea dbpedia:Category:1951_births dbpedia:Category:Living_people dbpedia:Category:Formal_methods_people
foaf:page	http://en.wikipedia.org/wiki/Jan_Bergstra
is dbpprop:redirect of	dbpedia:J._A._Bergstra dbpedia:Jan_A._Bergstra
is owl:sameAs of	yago:Jan Bergstra