Syntymä |
12. marraskuuta 1951 Amsterdam |
---|---|
Kansalaisuus | Hollannin kieli |
Koti | Amsterdam |
Koulutus | Delftin teknillinen yliopisto |
Toiminta | Tietotekniikka , insinööri |
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ä .
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.
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 .
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.