Gerard J. Holzmann Dutch computer scientist
Gerard J. Holzmann is a 73 years old Dutch computer scientist from Amsterdam, North Holland. He was born on January 01, 1951 in Amsterdam, North Holland.
About
Yes, Gerard J. Holzmann is still alive Last check: 3 years ago
Awards (5)
Awarded List of Fellows of the Association for Computing Machinery in 2011 , awarded Paris Kanellakis Award in 2005 , awarded Harlan D. Mills award in 2015 , awarded ACM Software System Award in 2001 , awarded ACM Fellow and
Education
He graduated from Delft University Of Technology
Where does He lives?
He is living in Amsterdam.
Other facts about Gerard J. Holzmann
| AlmaMater | Delft University of Technology |
|---|---|
| KnownFor | SPIN model checker |
| Employer | Bell Labs , start time: 1980-01-01T00:00:00Z , end time: 2003-01-01T00:00:00Z |
| Doctoral advisor | Willem Van Der Poel |
| Country of citizenship | Kingdom Of The Netherlands |
| Given name | Johan |
| Member of | US National Academy Of Engineering |
| Place of birth | Amsterdam |
| Residence | Amsterdam |
| Field of work | Model Checking |
| Has works in the collection | International Institute Of Social History |
| Copyright status as a creator | Works Protected By Copyrights , applies to jurisdiction: countries with 70 years pma or longer |
