Gerard J. Holzmann Profile, BioData, Updates and Latest Pictures | FanPhobia - Celebrities Database

Warning: mysqli::query(): (HY001/1038): Out of sort memory, consider increasing server sort buffer size in /var/www/ on line 351

Gerard J. Holzmann Bio, Photos and Updates

Like 0

Gerard J. Holzmann

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

Born: September 11, 1951 in Amsterdam, Netherlands

Posted In: Netherlands Scientists, Italian Footballers