Gerard J. Holzmann

Gerard J. Holzmann
Gerard J. Holzmann FLoC 2006.jpg
Gerard J. Holzmann 2006
Geboren 1951
Amsterdam, Niederlande
Alma Mater Delft University of Technology
Bekannt für Entwicklung des Spin -Modellprüfung
Auszeichnungen Paris Kanellakis Award (2005)
Wissenschaftliche Karriere
Felder Modellprüfung
Institutionen Bell Labs
Doktorand Willem van der Poel und J. L. de Kroes

Gerard J. Holzmann (geboren 1951) ist ein Niederländisch-Amerikaner Informatiker und Forscher bei Bell Labs und NASA, bekannt als Entwickler der Spin -Modellprüfung.[1]

Biografie

Holzmann wurde geboren in Amsterdam, Niederlande und erhielt eine Diplomingenieur in Elektrotechnik von dem Delft University of Technology 1976 erhielt er anschließend auch seine PhD Abschluss von Delft University 1979 unter W.L. Van der Poel und J. L. de Kroes mit einer These mit dem Titel " Koordinationsprobleme bei Multiprozessingsystemen. Nachdem er ein Fulbright-Stipendium erhalten hatte Per Brinch Hansen.

1980 begann er bei Bell Labs in Murray Hill für ein Jahr. Zurück in den Niederlanden war er zwei Jahre lang Assistenzprofessor an der Delft University of Technology.[2] 1983 kehrte er zurück zu Bell Labs wo er im Computing Science Research Center (dem ersteren arbeitete Unix Forschungsgruppe). 2003 schloss er sich bei NASA, wo er die NASA führt Jpl Labor für zuverlässige Software[3] in Pasadena, Kalifornien und ist ein JPL -Kerl.[1]

1981 wurde Holzmann vom Royal Dutch Institute of Engineers mit dem Prof. Bahler -Preis ausgezeichnet.[2] das Softwaresystem Auszeichnung (für Spin) im Jahr 2001 durch die Association for Computing Machinery (ACM), die Paris Kanellakis Theory and Practice Award im Jahr 2005 und die NASA Außergewöhnliche Ingenieurleistungsmedaille Im Oktober 2012.[1] Holzmann wurde zum Mitglied der USA gewählt Nationale Akademie des Ingenieurwesens Im Jahr 2005 zur Erstellung von Modellprüfsystemen zur Softwareüberprüfung.[4] 2011 wurde er als Fellow der Verband für Rechenmaschinen.[5] 2015 wurde er mit dem ausgezeichnet IEEE Harlan D. Mills Award.[6]

Arbeit

Holzmann ist bekannt für die Entwicklung der Spin -Modellprüfung (Spin ist kurz für Einfach Promela Dolmetscher) in den 1980er Jahren in Bell Labs. Dieses Gerät kann die Richtigkeit von überprüfen Gleichzeitige Softwareseit 1991 frei verfügbar.

Bücher

Veröffentlichungen, eine Auswahl:[7]

  • Der Spin -Modellprüfer - Primer- und Referenzhandbuch, Addison-Wesley, 2003. ISBN0-321-22862-6.
  • Design und Validierung von Computerprotokollen, Prentice Hall, 1991.
  • Die frühe Geschichte der Datennetzwerke, IEEE Computergesellschaft Press, 1995.
  • Jenseits der Fotografie - die digitale Dunkelkammer, Prentice Hall, 1988. ISBN0-13-074410-7.

Verweise

  1. ^ a b c "drehen". Abgerufen 8. Januar 2011.
  2. ^ a b Holzmann, Gerard J. "Das Pandora -System: Ein interaktives System zur Gestaltung von Datenkommunikationsprotokollen." Computernetzwerke (1976) 8.2 (1984): 71-79.
  3. ^ "Labor für zuverlässige Software". Archiviert von das Original Am 2019-01-19. Abgerufen 2019-12-27.
  4. ^ NAE -Mitglieder
  5. ^ Gerard J. Holzmann, ACM Fellows USA - 2011 bei Awards.Acm.org.
  6. ^ "2014 Mills Award an die Holzmann | IEEE Computer Society".
  7. ^ DBLP -Bibliographie

Externe Links