Gerard J. Holzmann (* 1951) ist ein niederländisch-amerikanischer Informatiker und Forscher an den Bell Labs und der NASA, der am besten als Entwickler des SPIN-Modellprüfers bekannt ist. [1]
Biography ] edit ]
Holzmann wurde im niederländischen Amsterdam geboren und erhielt 1976 einen Abschluss als Ingenieur in Elektrotechnik von der Delft University of Technology. Anschließend promovierte er 1979 an der Delft University unter WL van der Poel und J. L. de Kroes mit einer Arbeit mit dem Titel Koordinationsprobleme in Multiprozessorsystemen . Nachdem er einen Fulbright Scholar erhalten hatte, studierte er ein weiteres Jahr an der University of Southern California, wo er mit Per Brinch Hansen arbeitete.
1980 begann er ein Jahr lang bei Bell Labs in Murray Hill. Zurück in den Niederlanden war er zwei Jahre lang Assistenzprofessor an der Delft University of Technology. [2] 1983 kehrte er in die Bell Labs zurück, wo er im Computing Science Research Center (der früheren Unix-Forschungsgruppe) arbeitete. 2003 trat er der NASA bei, wo er das NASA JPL Laboratory for Reliable Software [3] in Pasadena, Kalifornien, leitet und JPL-Stipendiat ist.
1981 erhielt Holzmann die Auszeichnung Prof. Bahler - Preis des Royal Dutch Institute of Engineers, [2] der Pariser Kanellakis - Preis für Theorie und Praxis im Jahr 2005 und der NASA - Auszeichnung für außergewöhnliche Ingenieurleistungen im Oktober 2012. [1] Holzmann wurde in die US National Academy of Engineering in gewählt 2005. [4] Im Jahr 2011 wurde er als Fellow der Association for Computing Machinery eingeführt. [5]
Holzmann ist bekannt für die Entwicklung des SPIN-Modellprüfgeräts (SPIN steht für Simple Promela Interpreter ) die 1980er Jahre bei Bell Labs. Dieses Gerät kann die Richtigkeit von gleichzeitiger Software überprüfen, seit 1991 frei verfügbar.
Publikationen, eine Auswahl: [6]
Referenzen [ edit ]
Externe Links [ edit
No comments:
Post a Comment