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

Property Value
dbo:abstract
  • Gerard J. Holzmann (narozený v roce 1951 v Nizozemí) je americký informatik a vědec pracující v Bell Labs a NASA. Holzmann je známý tím, že stál u vzniku model checkeru . (cs)
  • Gerard J. Holzmann (* 1951 in Amsterdam) ist ein niederländischer Informatiker. Holzmann studierte an der TU Delft Informatik mit dem Diplom 1976 und wurde dort 1979 bei W. L. van der Poel und J. L. de Kroes promoviert (Coordination problems in multiprocessing systems). Als Post-Doktorand war er bei Per Brinch Hansen in Los Angeles als Fulbright-Stipendiat und 1980/81 bei den Bell Laboratories angestellt. Dort blieb er (bis auf eine Zeit als Assistenzprofessor in Delft 1981 bis 1983) bis 2003. Er war ab 1995 Distinguished Member of Technical Staff bei Bell Labs und ab 2001 Direktor Computer Principles Research. Ab 2003 war er leitender Informatiker am Jet Propulsion Laboratory (JPL) der NASA und leitender Wissenschaftler im Labor für Software-Zuverlässigkeit. Außerdem war er in der Informatik Fakultät des Caltech. In den 1980er Jahren entwickelte er an den Bell Labs den SPIN Model Checker zur Verifikation der Korrektheit verteilter Software. SPIN steht für Simple Promela Interpreter, wobei Promela (Process oder Protocol Meta Language) für eine Beschreibungssprache steht. Seit 1991 ist SPIN frei verfügbar. 2012 erhielt er einen Exceptional Engineering Achievement Award der NASA und 2009 den Space Act Award der NASA. 2012 wurde er ACM Fellow und 2007 Fellow des JPL und 2005 Fellow der National Academy of Engineering. 2006 wurde er Ehrendoktor der Universität Twente. 2005 erhielt er mit anderen den Paris-Kanellakis-Preis und 2001 den ACM Software System Award. (de)
  • Gerard J. Holzmann (born 1951) is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. (en)
  • Джерард Дж. Гольцманн (англ. Gerard J. Holzmann; нар.. 1951 року) — нідерландський і американський комп'ютерний вчений та науковий співробітник лабораторії «Белл» і НАСА, найбільш відомий як розробник . (uk)
dbo:academicDiscipline
dbo:almaMater
dbo:award
dbo:birthPlace
dbo:doctoralAdvisor
dbo:institution
dbo:knownFor
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2795843 (xsd:integer)
dbo:wikiPageLength
  • 5458 (xsd:integer)
dbo:wikiPageRevisionID
  • 946588299 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:awards
  • Paris Kanellakis Award (en)
dbp:birthPlace
dbp:caption
  • Gerard J. Holzmann 2006 (en)
dbp:doctoralAdvisor
  • Willem van der Poel and J.L. de Kroes (en)
dbp:fields
dbp:knownFor
  • Developing the SPIN model checker (en)
dbp:name
  • Gerard J. Holzmann (en)
dbp:wikiPageUsesTemplate
dbp:workplaces
dct:subject
schema:sameAs
rdf:type
rdfs:comment
  • Gerard J. Holzmann (narozený v roce 1951 v Nizozemí) je americký informatik a vědec pracující v Bell Labs a NASA. Holzmann je známý tím, že stál u vzniku model checkeru . (cs)
  • Gerard J. Holzmann (born 1951) is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. (en)
  • Джерард Дж. Гольцманн (англ. Gerard J. Holzmann; нар.. 1951 року) — нідерландський і американський комп'ютерний вчений та науковий співробітник лабораторії «Белл» і НАСА, найбільш відомий як розробник . (uk)
  • Gerard J. Holzmann (* 1951 in Amsterdam) ist ein niederländischer Informatiker. Holzmann studierte an der TU Delft Informatik mit dem Diplom 1976 und wurde dort 1979 bei W. L. van der Poel und J. L. de Kroes promoviert (Coordination problems in multiprocessing systems). Als Post-Doktorand war er bei Per Brinch Hansen in Los Angeles als Fulbright-Stipendiat und 1980/81 bei den Bell Laboratories angestellt. Dort blieb er (bis auf eine Zeit als Assistenzprofessor in Delft 1981 bis 1983) bis 2003. Er war ab 1995 Distinguished Member of Technical Staff bei Bell Labs und ab 2001 Direktor Computer Principles Research. Ab 2003 war er leitender Informatiker am Jet Propulsion Laboratory (JPL) der NASA und leitender Wissenschaftler im Labor für Software-Zuverlässigkeit. Außerdem war er in der Informa (de)
rdfs:label
  • Gerard J. Holzmann (cs)
  • Gerard Holzmann (de)
  • Gerard J. Holzmann (en)
  • Джерард Гольцманн (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Gerard J. Holzmann (en)
is dbo:developer of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:developer of
is foaf:primaryTopic of