Gerard J. Holzmann
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
developer
Wikipage disambiguates
Wikipage redirect
ACM Software System AwardClaude ChappeCommunication protocolDigital darkroomGerard HolzmannHolzmannList of computer scientistsList of fellows of the Association for Computing MachineryList of members of the National Academy of Engineering (Computer science)List of the Delft University of Technology AlumniModel checkingNASA Exceptional Engineering Achievement MedalParis KanellakisParis Kanellakis AwardPromelaRendezvous (Plan 9)SPIN model checkerSpinThe Power of 10: Rules for Developing Safety-Critical CodeVismonWillem van der Poel
Link from a Wikipage to another Wikipage
developer
primaryTopic
Gerard J. Holzmann
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
has abstract
Gerard J. Holzmann (* 1951 in ...... den ACM Software System Award.
@de
Gerard J. Holzmann (narozený v ...... stál u vzniku model checkeru .
@cs
Gerard J. Holzmann (né à Amste ...... vérificateur de modèles SPIN.
@fr
Джерард Дж. Гольцманн (англ. G ...... айбільш відомий як розробник .
@uk
academic discipline
alma mater
birth place
doctoral advisor
known for
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1.005.356.824
Link from a Wikipage to another Wikipage
alma mater
awards
Paris Kanellakis Award
@en
birth place
caption
Gerard J. Holzmann 2006
@en
doctoral advisor
Willem van der Poel and J.L. de Kroes
@en
fields
known for
Developing the SPIN model checker
@en
name
Gerard J. Holzmann
@en
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
Gerard J. Holzmann (* 1951 in ...... Außerdem war er in der Informa
@de
Gerard J. Holzmann (narozený v ...... stál u vzniku model checkeru .
@cs
Gerard J. Holzmann (né à Amste ...... vérificateur de modèles SPIN.
@fr
Джерард Дж. Гольцманн (англ. G ...... айбільш відомий як розробник .
@uk
label
Gerard Holzmann
@de
Gerard J. Holzmann
@cs
Gerard J. Holzmann
@en
Gerard J. Holzmann
@fr
Джерард Гольцманн
@uk
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Gerard J. Holzmann
@en