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

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