| 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 (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN. (fr)
- Джерард Дж. Гольцманн (англ. Gerard J. Holzmann; нар. 12 листопада 1951, Амстердам) — нідерландський і американський інформатик та науковий співробітник лабораторії «Белл» і НАСА, найбільш відомий як розробник . (uk)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5682 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| 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
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
| |
| dcterms:subject
| |
| gold:hypernym
| |
| 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 (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN. (fr)
- Джерард Дж. Гольцманн (англ. Gerard J. Holzmann; нар. 12 листопада 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)
- Gerard J. Holzmann (fr)
- Джерард Гольцманн (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:developer
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:developer
of | |
| is foaf:primaryTopic
of | |
