Narodziny |
12 listopada 1951 Amsterdam |
---|---|
Narodowość | holenderski |
Dom | Amsterdam |
Trening | Politechnika w Delft |
Zajęcia | Informatyk , inżynier |
Pracował dla | Bell Laboratories (1980-2003) , Jet Propulsion Laboratory (od2003) |
---|---|
Pole | Sprawdzanie modelu |
Członkiem |
Stowarzyszenie National Academy of Engineering Association for Computing Machinery |
Kierownik | Willem van der Poel ( we ) |
Nagrody |
Gerard J. Holzmann (urodzony w Amsterdamie, ur12 listopada 1951) jest amerykańsko-holenderskim informatykiem ; Badacz w Bell Laboratories i NASA , jest najbardziej znany jako twórca narzędzia do sprawdzania modeli SPIN .
Holzmann urodził się w Amsterdamie . Uzyskał dyplom z inżynierii w elektrotechnice w Delft University of Technology w roku 1976. W 1979 roku uzyskał doktorat z Delft University of Technology pod kierunkiem Willem L. van der Poel (IN) i JL de Kroes z tezą zatytułowany: „Problemy koordynacyjne w systemach wieloprocesorowych”. Dzięki stypendium Fulbrighta przez dodatkowy rok był doktorantem na Uniwersytecie Południowej Kalifornii , gdzie pracował z Perem Brinchem Hansenem. W 1980 roku rozpoczął roczną pracę w Bell Laboratories w Murray Hill. Następnie wrócił do Holandii, gdzie przez dwa lata był adiunktem na Delft University of Technology. W 1983 roku wrócił do Bell Laboratories, gdzie pracował w Computing Science Research Center (dawna grupa badawcza Unix ). W 2003 roku dołączył do NASA , gdzie wyreżyserował JPL laboratorium dla niezawodnego oprogramowania w Pasadena , Kalifornia ; jest członkiem JPL.
W 1981 roku Holzmann otrzymał prof. Nagroda Bahlera od Koninklijk Instituut van Ingenieurs (nl) , w 2001 r. Nagroda ACM Software System Prize przyznana przez Association for Computing Machinery (ACM), w 2005 r. Nagroda Paris-Kanellakis, aw październiku 2012 r . Medal NASA za wyjątkowe osiągnięcia inżynieryjne . Holzmann został wybrany do Narodowej Akademii Inżynierii Stanów Zjednoczonych w 2005 roku. W 2011 roku został wybrany członkiem Association for Computing Machinery . W 2015 roku otrzymał nagrodę IEEE Harlan D. Mills Award .
Holzmann jest znany z opracowania narzędzia do sprawdzania modeli SPIN (SPIN to skrót od Simple Promela Interpreter ) w latach 80. XX wieku w Bell Labs. To narzędzie może zweryfikować dokładność konkurencyjnego oprogramowania; od 1991 roku jest dostępny bezpłatnie.