BabelNet

Search

bn:02156847n

Noun Named Entity

JA

ジェラルド・J・ホルツマン

EN

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

Relations

Sources

IS A

AWARD RECEIVED

ACMソフトウェアシステム賞

パリス・カネラキス実践的理論賞

ACMフェロー

COUNTRY OF CITIZENSHIP

オランダ王国

DOCTORAL ADVISOR

ウィレム・バン・デル・プール

EDUCATED AT

デルフト工科大学

EMPLOYER

ジェット推進研究所

FIELD OF WORK

モデル検査

GIVEN NAME

ジェラルド

HAS WORKS IN THE COLLECTION

社会史国際研究所

MEMBER OF

Association for Computing Machinery

全米技術アカデミー

OCCUPATION

計算機科学者

PLACE OF BIRTH

アムステルダム

RESIDENCE

アムステルダム

SEX OR GENDER

Wikidata

JA

ジェラルド・J・ホルツマン