Gerard J. Holzmann

Gerard Holzmann Bilde i infoboks. Biografi
Fødsel 12. november 1951
Amsterdam
Nasjonalitet nederlandsk
Hjem Amsterdam
Opplæring Delft teknologiske universitet
Aktiviteter Informatiker , ingeniør
Annen informasjon
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 .

Biografi

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.

Priser og anerkjennelse

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 .

Virker

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.

Bøker

Merknader og referanser

  1. Pamela M. Kalte, Katherine H. Nemeh og Noah Schusterbauer (red.), American Men and Women in Science , vol.  3: QS, Thomson - Gale,2005, 22 th  ed. ( ISBN  0-7876-7398-6 ) , s.  802 kol. 2: "Gerard J. Holzmann".
  2. "  spin  " (åpnet 8. januar 2011 )
  3. Gerard J. Holzmann, “  The Pandora System: an interactive system for the design of data communication protocols  ”, Computer Networks , vol.  8,1984, s.  71-79.
  4. "  Laboratorium for pålitelig programvare  " [ arkiv av19. januar 2019] (åpnet 27. desember 2019 ) .
  5. NAE-medlemmer .
  6. “Gerard J. Holzmann, ACM Fellows United States - 2011” på awards.acm.org .
  7. https://www.computer.org/press-room/news-archive/holzmann

Eksterne linker