Gerard J. Holzmann Dutch Scientist
00
Gerard J. Holzmann dating history
Who
is he
dating right now?
According to our records, Gerard J. Holzmann is possibly single.
Relationships
We have no records of past relationships for Gerard J. Holzmann.
About
Gerard J. Holzmann is a member of the following lists: 1951 births, People from Amsterdam and American computer scientists.
Contribute
Who is Gerard J. Holzmann dating? Gerard J. Holzmann girlfriend, wife list. Help us build our profile of Gerard J. Holzmann!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| First Name |
Gerard
|
| Middle Name |
J.
|
| Last Name |
Holzmann
|
| Birthday |
30th November, 1950
|
| Birthplace |
Amsterdam, Netherlands
|
| Build |
Average
|
| Eye Color |
Brown - Dark
|
| Hair Color |
Salt and Pepper
|
| Ethnicity |
White
|
| Nationality |
Dutch
|
| Occupation |
Scientist
|
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.
More about Gerard J. Holzmann
Less about Gerard J. Holzmann
