Gerard J. Holzmann

Gerard Holzmann
Biographie
Naissance
Nationalité
Domicile
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Willem van der Poel (en)Voir et modifier les données sur Wikidata
Distinctions

Gerard J. Holzmann (né à Amsterdam, le [1]) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN[2].

Biographie

Holzmann est né à Amsterdam. Il obtient un diplôme d'ingénieur en génie électrique à l'université de technologie de Delft en 1976. En 1979, il obtient un doctorat de l'université de technologie de Delft sous la direction de Willem L. van der Poel (en) et J. L. de Kroes avec une thèse intitulée : « Problèmes de coordination dans les systèmes multiprocesseurs » . Avec une bourse Fulbright, il est étudiant postdoctoral à l'université de Californie du Sud pendant une année supplémentaire, où il a travaillé avec Per Brinch Hansen. En 1980, il commence à travailler aux Laboratoires Bell à Murray Hill pendant un an. Il revient ensuite aux Pays-Bas, où il est professeur assistant à l'université de technologie de Delft pendant deux ans[3]. En 1983, il retourne aux Laboratoires Bell où il travaille au Computing Science Research Center (l'ancien groupe de recherche Unix ). En 2003, il rejoint la NASA, où il dirige le JPL Laboratory for Reliable Software[4] à Pasadena, en Californie ; il est fellow du JPL[2].

Prix et distinctions

En 1981, Holzmann a reçu le prix Prof. Prix Bahler du Koninklijk Instituut van Ingenieurs (nl)[3], en 2001 le Prix ACM Software System pour Spin décerné par l'Association for Computing Machinery (ACM), en 2005 le Prix Paris-Kanellakis et en octobre 2012 le NASA Exceptional Engineering Achievement Medal[2]. Holzmann a été élu à la Académie nationale d'ingénierie des États-Unis en 2005[5]. En 2011, il est élu membre de l'Association for Computing Machinery[6]. En 2015, il a reçu le prix IEEE Harlan D. Mills[7].

Travaux

Holzmann est connu pour le développement du vérificateur de modèle SPIN (SPIN est l'abréviation de Simple Promela Interpreter ) dans les années 1980 chez Bell Labs. Cet outil peut vérifier l'exactitude des logiciels concurrents ; il est depuis 1991 disponible gratuitement.

Livres

Article connexe

Liens externes

Notes et références

  1. Pamela M. Kalte, Katherine H. Nemeh et Noah Schusterbauer (éditeurs), American Men and Women in Science, vol. 3: Q-S, Thomson - Gale, , 22e éd. (ISBN 0-7876-7398-6), p. 802 col. 2  : « Gerard J. Holzmann ».
  2. a b et c « spin » (consulté le )
  3. a et b Gerard J. Holzmann, « The Pandora System: an interactive system for the design of data communication protocols », Computer Networks, vol. 8,‎ , p. 71-79.
  4. « Laboratory for Reliable Software » [archive du ] (consulté le ).
  5. NAE Members.
  6. « Gerard J. Holzmann, ACM Fellows United States – 2011 » sur awards.acm.org.
  7. (en) « 2014 Mills Award to Holzmann », sur IEEE Computer Society, (consulté le ).


Read other articles:

American politician Hazelle P. RogersMember of the Broward County Commissionfrom the 9th districtIncumbentAssumed office November 29, 2022[1]Preceded byDale V.C. HolnessMember of the Florida House of Representativesfrom the 95th districtIn officeNovember 20, 2012 – November 20, 2016Preceded byJim WaldmanSucceeded byBarrington RussellMember of the Florida House of Representativesfrom the 94th districtIn officeNovember 18, 2008 – Novembe...

Karst cave in Slovakia Demänovská Cave of LibertySlovak: Demänovská jaskyňa slobodyThe Emerald LakeLocation in SlovakiaLocationDemänovská Dolina, SlovakiaCoordinates48°59′55″N 19°34′55″E / 48.99861°N 19.58194°E / 48.99861; 19.58194Length8,126 m (5,0 mi)Elevation870 m (2,850 ft)Discovery1921GeologyKarstVisitors118,703 (2019)[1] Decoration in the cave Demänovská Cave of Liberty (Slovak: Demänovská jaskyňa slobody) is a karst cave in Low Ta...

أكتاش   الإحداثيات 50°18′40″N 87°35′57″E / 50.311111111111°N 87.599166666667°E / 50.311111111111; 87.599166666667  تاريخ التأسيس 1957  تقسيم إداري  البلد روسيا الاتحاد السوفيتي[1]  خصائص جغرافية ارتفاع 2157 متر  معلومات أخرى منطقة زمنية ت ع م+07:00،  وتوقيت كراسنويارسك  [لغات أخ

Sülzhayn Gemeinde Ellrich Koordinaten: 51° 36′ N, 10° 42′ O51.60510.696666666667284Koordinaten: 51° 36′ 18″ N, 10° 41′ 48″ O Höhe: 284 m Einwohner: 1008 (31. Okt. 2015)[1] Eingemeindung: 9. April 1994 Postleitzahl: 99755 Vorwahl: 036332 Sülzhayn (Thüringen) Lage von Sülzhayn in Thüringen Blick vom Sackberg auf den westlichen OrtsteilBlick vom Sackberg auf den westlichen Ortsteil St.-Katharinen-...

Molho velouté companhado de cogumelos. O velouté é um molho da cozinha francesa. O preparo do velouté consiste em um caldo claro, onde os ossos são usados sem serem torrados, podendo-se optar por carcaça de frango - mais versátil - vitela ou peixe, engrossados com roux. Esse molho é bastante semelhante ao béchamel, mas não é diluído em leite.[1] O roux, formado de manteiga e farinha, juntamente com os fundos claros de peixe, frango temperados com pimenta do reino e sal produzem os...

Paspor Republik Rakyat Tiongkok中华人民共和国护照Sampul depan paspor biometrik Tiongkok biasa sejak 2012Halaman depan informasi pribadi data paspor biometrik Tiongkok biasa sejak 2019Pertama diterbitkanSeptember 1919 (versi pertama, dikeluarkan oleh Pemerintah Beiyang)April 1922 (booklet)1949 (versi terbaru)Penerbit Administrasi Imigrasi Nasional, RRTJenis dokumenPasporTujuanIdentifikasiSyarat kepemilikanWarga negara Tiongkok dengan Hukou yang berada di Tiongkok Daratan, atau warga n...

Thuốc thử SchwartzDanh pháp IUPACClorohydridozirconocenTên khácCp2ZrClH, zirconocene chloride hydrideNhận dạngSố CAS37342-97-5PubChem53384630Ảnh Jmol-3DảnhSMILES đầy đủ [cH-]1cccc1.[cH-]1cccc1.Cl[ZrH+2] InChI đầy đủ 1/2C5H5.ClH.Zr.H/c2*1-2-4-5-3-1;;;/h2*1-5H;1H;;/q2*-1;;+3;/p-1/r2C5H5.ClHZr/c2*1-2-4-5-3-1;1-2/h2*1-5H;2H/q2*-1;+2 UNIIS84D01XQGLThuộc tínhCông thức phân tửC10H11ClZrKhối lượng mol257.87 g/molBề ngoàiWhite solidĐiểm nóng chảy...

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (نوفمبر 2019) الدوري الإسباني الدرجة الثانية ب 1977–78 تفاصيل الموسم الدوري الإسباني الدرجة الثانية بي  البلد إسبانيا...

Wang's FamilyPoster promosiGenreKeluarga Roman Komedi DramaDitulis olehMoon Young-namSutradaraJin Hyung-wookPemeranOh Hyun-kyung Lee Tae-ran Lee Yoon-ji Jo Sung-ha Oh Man-seok Han Joo-wanPenata musikUhm Gi-yeobNegara asalKorea SelatanBahasa asliKoreaJmlh. episode50ProduksiProduser eksekutifMoon Bo-hyunProduserSong Hyun-wookLokasi produksiKoreaSinematografiHan Dong-gyeonPenyuntingOh Sang-hwanDurasiSabtu dan Minggu pukul 07:55p.m. (WSK)Rumah produksiDream E&MRilisJaringan asliKore...

Drs.Bartolomeus Lallung SallataSekretaris Provinsi Sulawesi TengahMasa jabatan1973 – 1980PresidenSoehartoGubernurAlbertus Maruli TambunanMoenafriWakil PresidenSri Sultan Hamengkubuwono IXAdam MalikBupati Poso ke-6Masa jabatan1962 – 1968PresidenSoekarnoSoehartoGubernurAnwar Datuk Madjo Basa Nan KuningPendahuluNgitungPenggantiGhalib Lasahido Informasi pribadiLahirBartolomeus Lallung SallataBatualla, Makale, Tana Toraja, Sulawesi SelatanMeninggal2 Oktober 2016Makassar, ...

2013 studio album by Alpha BlondyMystic PowerStudio album by Alpha BlondyReleased4 March 2013 (2013-03-04)GenreRoots reggaeLength1:02:56LabelVP Records[1]ProducerAlpha BlondyAlpha Blondy chronology Vision(2011) Mystic Power(2013) Positive Energy(2015) Professional ratingsReview scoresSourceRatingRobert Christgau[2]RapReviews7/10[3] Mystic Power is a 2013 reggae album by the Ivorian artist Alpha Blondy.[1][4] Songs on the album add...

Defunct Christian political party in New Zealand Destiny New Zealand LeaderRichard LewisFounded2003 (2003)Dissolved18 September 2007 (2007-09-18)IdeologyChristian rightSocial conservatismInternational affiliationNoneColoursRed, black, whitePolitics of New ZealandPolitical partiesElections Destiny New Zealand was a Christian political party in New Zealand centred on the charismatic/pentecostal Destiny Church. The party described itself as centre-right. It placed a strong fo...

Book by Steven Blush American Hardcore: A Tribal History Second edition cover (2010).AuthorSteven BlushCover artistEdward ColverCountryUnited StatesLanguageEnglishSubjectAmerican hardcore punk movement (1980-1986)GenreJournalismPublisherFeral HousePublication dateOctober 2001Pages328ISBN9780922915712 American Hardcore: A Tribal History is a book written by Steven Blush that relates the history of the hardcore punk movement that took place in Northern America between 1980 and 1986. It was...

Israeli figure skater Mark GorodnitskyMark Gorodnitsky at 2016 Winter Youth OlympicsBorn (2001-03-23) March 23, 2001 (age 22)Richmond Hill, Ontario, CanadaHometownRichmond Hill, Ontario, CanadaHeight1.71 m (5 ft 7+1⁄2 in)Figure skating careerCountry IsraelCoachAndrei Berezintsev, Inga ZusevSkating clubIce Holon IsraelBegan skating2005 Mark Gorodnitsky (born March 23, 2001) is an Israeli figure skater. He is the 2023 CS Nepela Memorial bronze medalist, the 2018 Volvo ...

Mountain in Italy You can help expand this article with text translated from the corresponding article in Italian. (May 2010) Click [show] for important translation instructions. View a machine-translated version of the Italian article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into th...

Welsh judge and Member of Parliament SirWilliam JonesSir William Jones in a 1675 engraving by William SherwinMember of the 1597, 1604 and 1614 Parliamentfor BeaumarisMember of the 1601 Parliamentfor Caernarvonshire Personal detailsBorn1566Died(1640-12-09)9 December 1640 Sir William Jones (1566–1640) was a Welsh judge, and a Member of Parliament (MP) for the Welsh Borough of Beaumaris.[1] Life From a family settled in North Wales, he was eldest son of William Jones of Castellmarch, C...

2014 studio album by HozierHozierStudio album by HozierReleased19 September 2014 (2014-09-19)GenreBluessoulindie rockLength53:26LabelRubyworksIslandColumbiaProducerHozierRob KirwanHozier chronology From Eden(2014) Hozier(2014) Nina Cried Power(2018) Singles from Hozier Take Me to ChurchReleased: 13 September 2013 From EdenReleased: 9 March 2014 SedatedReleased: 20 May 2014 Work SongReleased: 16 March 2015 Someone NewReleased: 11 May 2015 Jackie and WilsonReleased: 29 Se...

Cristiano Lombardi Nazionalità  Italia Altezza 180 cm Peso 75 kg Calcio Ruolo Centrocampista, attaccante Squadra  Lazio Carriera Giovanili 2000-2010 Calcio Tuscia2010-2011 Siena2011-2014 Lazio Squadre di club1 2014-2015→  Trapani12 (0)2015-2016→  Ancona25 (4)2016-2017 Lazio18 (1)2017-2018→  Benevento17 (0)2018-2019 Lazio0 (0)2019→  Venezia11 (0)[1]2019-2021→  Salernitana24 (5)2021-2022 Lazio0 (0)2022→  Reggi...

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Charlton Street Gang – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this template message) Charlton Street GangThe Charlton Street Gang of river pirates raided ship cargo in the mid-late 19th century along the New York City waterfront...

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Nakagyō-ku, Kyoto – news · newspapers · books · scholar · JSTOR (September 2010) (Learn how and when to remove this template message) Ward of Kyoto in JapanNakagyō 中京区Ward of KyotoKyoto city hallLocation of Nakagyō-ku in KyotoNakagyōLocation of Nakagy...