About: Gerard J. Holzmann   Sponge Permalink

An Entity of Type : dbkwik:resource/2OiO1HC7ZfG6sDj44TblnA==, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

Gerard J. Holzmann (born 1951) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.

AttributesValues
rdf:type
rdfs:label
  • Gerard J. Holzmann
rdfs:comment
  • Gerard J. Holzmann (born 1951) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
sameAs
dcterms:subject
dbkwik:nasa/proper...iPageUsesTemplate
Name
  • Gerard J. Holzmann
Caption
  • Gerard J. Holzmann 2006
Alma mater
Birth Place
  • Amsterdam, Netherlands
Awards
  • Paris Kanellakis Award
Fields
doctoral advisor
  • Willem van der Poel and J.L. de Kroes
Known For
  • Developing the SPIN model checker
workplaces
Nationality
  • American
abstract
  • Gerard J. Holzmann (born 1951) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software