Fødsel |
12. november 1951 Amsterdam |
---|---|
Nasjonalitet | nederlandsk |
Hjem | Amsterdam |
Opplæring | Delft teknologiske universitet |
Aktiviteter | Informatiker , ingeniør |
Jobbet for | Bell Laboratories (1980-2003) , Jet Propulsion Laboratory (siden2003) |
---|---|
Felt | Modellkontroll |
Medlem av |
United States National Academy of Engineering Association for Computing Machinery |
Veileder | Willem van der Poel ( i ) |
Utmerkelser |
Gerard J. Holzmann (født i Amsterdam, den12. november 1951) er en amerikansk-nederlandsk datavitenskapsmann ; En forsker ved Bell Laboratories og NASA , han er best kjent som utvikler av SPIN- modellkontrollen .
Holzmann ble født i Amsterdam . Han oppnådde en grad i ingeniørfag i elektroteknikk ved Delft University of Technology i 1976. I 1979 oppnådde han en doktorgrad fra Delft University of Technology under ledelse av Willem L. van der Poel (in) og JL de Kroes med en avhandling. med tittelen: “Koordineringsproblemer i flerprosessorsystemer”. Med et Fulbright Fellowship var han en postdoktorstudent ved University of Southern California i ytterligere et år, hvor han jobbet med Per Brinch Hansen. I 1980 begynte han å jobbe ved Bell Laboratories i Murray Hill i et år. Deretter vendte han tilbake til Nederland, hvor han var adjunkt ved Delft University of Technology i to år. I 1983 kom han tilbake til Bell Laboratories hvor han jobbet ved Computing Science Research Center (den tidligere forskningsgruppen Unix ). I 2003 ble han med i NASA , hvor han ledet JPL Laboratory for Reliable Software i Pasadena , California ; han er en stipendiat av JPL.
I 1981 mottok Holzmann Prof. Bahler-prisen fra Koninklijk Instituut van Ingenieurs (nl) , i 2001 ACM Software System Prize for Spin tildelt av Association for Computing Machinery (ACM), i 2005 Paris-Kanellakis-prisen og i oktober 2012 NASA Exceptional Engineering Achievement Medal . Holzmann ble valgt til United States National Academy of Engineering i 2005. I 2011 ble han valgt til medlem av Association for Computing Machinery . I 2015 mottok han IEEE Harlan D. Mills Award .
Holzmann er kjent for utviklingen av SPIN-modellkontrolleren (SPIN er en forkortelse for Simple Promela Interpreter ) på 1980-tallet hos Bell Labs. Dette verktøyet kan verifisere nøyaktigheten til konkurrerende programvare; siden 1991 har den vært tilgjengelig gratis.