Gerard J. Holzmann (Amsterdam, 1951) is een Nederlands-Amerikaanse informaticus en onderzoeker bij Bell Labs en NASA, vooral bekend als de ontwikkelaar van de SPIN-modelchecker.
Vroege leven en opleiding Holzmann werd geboren in Amsterdam en behaalde in 1976 zijn ingenieursdiploma in de elektrotechniek aan de Technische Universiteit Delft. Hij promoveerde in 1979 aan dezelfde universiteit onder Willem van der Poel en J.L. de Kroes met een proefschrift getiteld Coordination problems in multiprocessing systems. Met een Fulbright-beurs kon hij een jaar onderzoek doen aan de University of Southern California, waar hij samenwerkte met Per Brinch Hansen.
Carrière In 1980 ging Holzmann voor een jaar aan de slag bij Bell Labs in de Verenigde Staten. Daarna werkte hij twee jaar als universitair docent aan de TU Delft. In 1983 keerde hij wederom terug naar Bell Labs, waar hij werkte in het Computing Science Research Center, de voormalige Unix-onderzoeksgroep. In 2003 trad hij in dienst bij NASA, waar hij als JPL-fellow leiding geeft aan het NASA JPL Laboratory for Reliable Software in Pasadena, Californië.
Holzmann ontving diverse prijzen, waaronder:
1981: Prof. Bahler-prijs van het Koninklijk Nederlands Instituut van Ingenieurs 2001: Software System Award van de Association for Computing Machinery (ACM) 2002 ACM SIGSOFT Outstanding Research Award 2005: Paris Kanellakis Theory and Practice Award 2005: lid van de US National Academy of Engineering voor de ontwikkeling van modelcontrolesystemen voor softwareverificatie 2011: benoemd tot Fellow van de Association for Computing Machinery 2012: NASA Exceptional Engineering Achievement Medal 2015: IEEE Harlan D. Mills Award
Werk Holzmann is met name bekend vanwege zijn SPIN model checker, een geautomatiseerde tool voor het verifiëren van de correctheid van gelijktijdige softwaremodellen. Hij ontwikkelde deze tool in de jaren 80 bij Bell Labs. De SPIN model checker is sinds 1991 gratis beschikbaar.
Boeken Holzmann schreef diverse boeken, waaronder:
De Spin Model Checker — Primer and Reference Manual, Addison-Wesley, 2003. . Design and Validation of Computer Protocols, Prentice Hall, 1991. The Early History of Data Networks, IEEE Computer Society Press, 1995. Beyond Photography — The Digital Darkroom, Prentice Hall, 1988. ISBN 0-13-074410-7 .
Referenties
Externe links
Eigen website Interview Categorie:Lid van de National Academy of Engineering Categorie:Nederlands informaticus Categorie:Amerikaans informaticus