Gerard J. Holzmann

Property	Value
rdf:type	Delft University of Technology Alumni Formal methods person Scientist from Amsterdam owl:NamedIndividual 1951 birth American computer scientist Dutch emigrant to the United States Fellow of the Association for Computing Machinery Living person Member of the National Academy of Engineering (Computer science) Member of the United States National Academy of Engineering NASA person Fellow of Jet Propulsion Laboratory Scientist at Bell Labs Dutch computer scientist
rdfs:label	Gerard J. Holzmann
owl:sameAs	dbr:Gerard_J._Holzmann
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Fellows_of_Jet_Propulsion_Laboratory http://en.wikipedia.org/wiki/NASA_Exceptional_Engineering_Achievement_Medal http://en.wikipedia.org/wiki/Category:Scientists_at_Bell_Labs http://en.wikipedia.org/wiki/Category:1951_births http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:NASA_people http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/List_of_the_Delft_University_of_Technology_Alumni http://en.wikipedia.org/wiki/Category:Dutch_emigrants_to_the_United_States http://en.wikipedia.org/wiki/Category:Members_of_the_United_States_National_Academy_of_Engineering http://en.wikipedia.org/wiki/List_of_members_of_the_National_Academy_of_Engineering_(Computer_science) http://en.wikipedia.org/wiki/Paris_Kanellakis_Award http://en.wikipedia.org/wiki/Category:Scientists_from_Amsterdam http://en.wikipedia.org/wiki/Category:Dutch_computer_scientists
skos:prefLabel	Gerard J. Holzmann
skos:altLabel	Gerard Holzmann Holzmann, Gerard
clgo:academicDiscipline	Model checking
clgo:almaMater	Delft University of Technology
clgo:award	Paris Kanellakis Award
clgo:birthPlace	Netherlands Amsterdam
clgo:birthYear	1951
clgo:doctoralAdvisor	Willem van der Poel
clgo:institution	Bell Labs
clgo:knownFor	SPIN model checker
clgo:nationality	Netherlands
is clgo:developer of	SPIN model checker

About: clgr:Gerard_J._Holzmann