Gerard J. Holzmann (original) (raw)

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

dbr:Model_checking

dbo:almaMater

dbr:Delft_University_of_Technology

dbo:award

dbr:Paris_Kanellakis_Award

dbo:birthPlace

dbo:doctoralAdvisor

dbo:institution

dbr:Bell_Labs

dbo:knownFor

dbr:SPIN_model_checker

dbo:thumbnail

wiki-commons:Special:FilePath/Gerard_J._Holzmann_FLoC_2006.jpg?width=300

dbo:wikiPageExternalLink

dbo:wikiPageID

2795843 (xsd:integer)

dbo:wikiPageLength

5682 (xsd:nonNegativeInteger)

dbo:wikiPageRevisionID

1101728391 (xsd:integer)

dbo:wikiPageWikiLink

dbp:almaMater

dbr:Delft_University_of_Technology

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

dbr:Model_checking

dbp:knownFor

Developing the SPIN model checker (en)

dbp:name

Gerard J. Holzmann (en)

dbp:wikiPageUsesTemplate

dbp:workplaces

dbr:Bell_Labs

dct:subject

gold:hypernym

dbr:Scientist

schema:sameAs

http://viaf.org/viaf/5080653

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