Gerard J.Holzmann

Gerard Holzmann Kuva Infoboxissa. Elämäkerta
Syntymä 12. marraskuuta 1951
Amsterdam
Kansalaisuus Hollannin kieli
Koti Amsterdam
Koulutus Delftin teknillinen yliopisto
Toiminta Tietotekniikka , insinööri
Muita tietoja
Työskenteli Bell Laboratories (1980-2003) , Jet Propulsiolaboratorio (vuodesta 2003)2003)
Ala Mallin tarkistus
Jonkin jäsen Yhdysvaltain kansallinen teknillisen akatemian
liiton tietokonekoneet
Valvoja Willem van der Poel ( sisään )
Palkinnot

Gerard J.Holzmann (syntynyt Amsterdamissa,12. marraskuuta 1951) on amerikkalais-hollantilainen tietojenkäsittelytieteen tutkija ; Bell Laboratoriesin ja NASA: n tutkija tunnetaan parhaiten SPIN- mallintarkastajan kehittäjänä .

Elämäkerta

Holzmann syntyi Amsterdamissa . Hän sai tutkinnon insinöörin vuonna sähkötekniikan klo Delft University of Technology vuonna 1976. Vuonna 1979 hän sai tohtorin Delftin teknillisen yliopiston johdolla Willem L. van der Poel  (in) ja JL de Kroes Hänen lopputyönsä otsikko: "Koordinointiongelmat moniprosessorijärjestelmissä". Kanssa Fulbright Fellowship , hän oli postdoc opiskelija on Etelä-Kalifornian yliopiston ylimääräisen vuoden, missä hän työskenteli Per Brinch Hansen. Vuonna 1980 hän aloitti vuoden ajan Bell Laboratoriesissa Murray Hillissä. Sitten hän palasi Hollantiin, missä hän oli kaksi vuotta Delftin teknillisen yliopiston apulaisprofessori. Vuonna 1983 hän palasi Bell Laboratoriesiin, jossa hän työskenteli Computing Science Research Centerissä (entinen Unix- tutkimusryhmä ). Vuonna 2003 hän liittyi NASA , jossa hän johti JPL laboratorion luotettavia ohjelmistoja vuonna Pasadena , Kalifornia  ; hän on JPL: n jäsen.

Palkinnot ja tunnustaminen

Vuonna 1981 Holzmann vastaanotti prof. Bahler palkinto päässä Koninklijk Instituut van INGENIEURS  (NL) , vuonna 2001 ACM ohjelmistojärjestelmä palkinto Spin myöntämiä Association for Computing Machinery (ACM), vuonna 2005 Pariisin-Kanellakis palkinnon ja lokakuussa 2012 NASA Poikkeuksellinen Engineering Achievement mitali . Holzmann valittiin Yhdysvaltain kansalliseen teknilliseen akatemiaan vuonna 2005. Vuonna 2011 hänet valittiin Computing Machinery Associationin jäseneksi . Vuonna 2015 hän sai IEEE Harlan D.Mills -palkinnon .

Toimii

Holzmann tunnetaan SPIN-mallintarkistimen kehittämisestä (SPIN on lyhenne sanoista Simple Promela Interpreter ) 1980-luvulla Bell Labsissa. Tämä työkalu voi tarkistaa kilpailevien ohjelmistojen tarkkuuden; Vuodesta 1991 se on ollut käytettävissä ilmaiseksi.

Kirjat

Huomautuksia ja viitteitä

  1. Pamela M. Kalte, Katherine H. Nemeh ja Noah Schusterbauer (toim.), American Men and Women in Science , voi.  3: QS, Thomson - Gale,2005, 22 th  ed. ( ISBN  0-7876-7398-6 ) , s.  802 väriä 2: "Gerard J. Holzmann".
  2. "  spin  " (käytetty 8. tammikuuta 2011 )
  3. Gerard J. Holzmann, "  Pandora-järjestelmä: vuorovaikutteinen järjestelmä tietoliikenneprotokollien suunnitteluun  ", Computer Networks , voi.  8,1984, s.  71-79.
  4. "  laboratorio luotettavia ohjelmistoja  " [ arkisto19. tammikuuta 2019] (käytetty 27. joulukuuta 2019 ) .
  5. NAE: n jäsenet .
  6. “Gerard J. Holzmann, ACM Fellows Yhdysvallat - 2011” osoitteessa award.acm.org .
  7. https://www.computer.org/press-room/news-archive/holzmann

Ulkoiset linkit