Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02156847n
Noun Named Entity
Categories: Fellows of the Association for Computing Machinery, Dutch emigrants to the United States, Scientists from Amsterdam, Scientists at Bell Labs, 1951 births
EN
Gerard J. Holzmann  G.J. Holzmann  Gerard Holzmann  Gerard Johan Holzmann  Holzmann
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
Definitions
Relations
Sources
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
IS A
homo
AWARD RECEIVED
ACM Software System Award
Paris Kanellakis Award
ACM Fellow
COUNTRY OF CITIZENSHIP
Kingdom of The Netherlands
DOCTORAL ADVISOR
Willem van der Poel
EDUCATED AT
Delft University of Technology
EMPLOYER
Jet Propulsion Laboratory
FIELD OF WORK
model checking
GIVEN NAME
Johan
Gerard
HAS WORKS IN THE COLLECTION
International Institute of Social History
MEMBER OF
Association for Computing Machinery
National Academy of Engineering
OCCUPATION
engineer
computer scientist
PLACE OF BIRTH
Amsterdam
RESIDENCE
Amsterdam
SEX OR GENDER
male
Wikipedia
EN
Gerard J. Holzmann
Wikidata
EN
Gerard J. Holzmann
Wikipedia Redirections
EN
Gerard Holzmann
Wikidata Alias
EN
G.J. Holzmann, Gerard Holzmann, Gerard Johan Holzmann, Holzmann

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License