PROFILPELAJAR.COM

Biographie
Naissance	12 novembre 1951 (72 ans); Amsterdam
Nationalité	néerlandaise
Domicile	Amsterdam
Formation	Université de technologie de Delft (doctorat) (jusqu'en 1979)
Activités	Informaticien, ingénieur
A travaillé pour	Jet Propulsion Laboratory (depuis 2003); Laboratoires Bell (1980-2003)
Membre de	Association for Computing Machinery (2011); Académie nationale d'ingénierie des États-Unis
Directeur de thèse	Willem van der Poel (en)
Distinctions	Liste détaillée Prix ACM Software System (2001); Prix Paris-Kanellakis (2005); ACM Fellow (2011); Prix Harlan D. Mills (2015)

Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951^[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

The SPIN Model Checker: Primer and Reference Manual, Addison-Wesley, 2004, xii + 598 (ISBN 978-0-321-22862-8, lire en ligne).
Design and Validation of Computer Protocols, Prentice_Hall, 1991 (lire en ligne).
avec Björn Pehrson, The Early History of Data Networks, IEEE, 1995, xi + 291 (ISBN 978-0-8186-6782-4, lire en ligne).
Beyond Photography — The Digital Darkroom, Prentice_Hall, 1988 (ISBN 0-13-074410-7, lire en ligne).

Article connexe

The Power of 10: Rules for Developing Safety-Critical Code

Liens externes

Page d'accueil
Une Interview
Ressources relatives à la recherche :
Notice dans un dictionnaire ou une encyclopédie généraliste :
- Deutsche Biographie
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Japon
- Pays-Bas
- Israël
- NUKAT
- Norvège
- WorldCat

Notes et références

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