https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Gerard_HolzmannGerard Holzmann - Versionsgeschichte2026-06-08T04:07:42ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Gerard_Holzmann&diff=2886660&oldid=previmported>Aka: Tippfehler entfernt, Leerzeichen in Überschrift, deutsch, Kleinkram2025-07-13T22:07:09Z<p><a href="/index.php?title=Benutzer:Aka/Tippfehler_entfernt&action=edit&redlink=1" class="new" title="Benutzer:Aka/Tippfehler entfernt (Seite nicht vorhanden)">Tippfehler entfernt</a>, Leerzeichen in Überschrift, deutsch, Kleinkram</p>
<p><b>Neue Seite</b></p><div>'''Gerard J. Holzmann''' (* [[1951]] in [[Amsterdam]]) ist ein niederländischer Informatiker.<br />
[[Datei:Gerard J. Holzmann FLoC 2006.jpg|mini|Holzmann 2006]]<br />
<br />
Holzmann studierte an der [[TU Delft]] Informatik mit dem Diplom 1976 und wurde dort 1979 bei W. L. van der Poel und J. L. de Kroes promoviert (''Coordination problems in multiprocessing systems''). Als [[Post-Doktorand]] war er bei [[Per Brinch Hansen]] in Los Angeles als [[Fulbright-Programm|Fulbright-Stipendiat]] und 1980/81 bei den [[Bell Laboratories]] angestellt. Dort blieb er (bis auf eine Zeit als Assistenzprofessor in Delft 1981 bis 1983) bis 2003. Er war ab 1995 Distinguished Member of Technical Staff bei Bell Labs und ab 2001 Direktor ''Computer Principles Research''. Ab 2003 war er leitender Informatiker am [[Jet Propulsion Laboratory]] (JPL) der [[NASA]] und leitender Wissenschaftler im Labor für Software-Zuverlässigkeit. Außerdem war er in der Informatik Fakultät des [[Caltech]].<br />
<br />
In den 1980er Jahren entwickelte er an den Bell Labs den [[SPIN]] Model Checker zur Verifikation der Korrektheit verteilter Software. SPIN steht für ''Simple Promela Interpreter'', wobei Promela (Process oder Protocol Meta Language) für eine Beschreibungssprache steht. Seit 1991 ist SPIN frei verfügbar.<br />
<br />
Im Jahr 2006 entwickelte Holzmann [[Die Macht der 10: Regeln für die Entwicklung sicherheitskritischen Codes]].<br />
<br />
2012 erhielt er einen Exceptional Engineering Achievement Award der NASA und 2009 den Space Act Award der NASA. 2012 wurde er [[Association for Computing Machinery|ACM]] Fellow und 2007 Fellow des JPL und 2005 Fellow der [[National Academy of Engineering]]. 2006 wurde er Ehrendoktor der Universität Twente. 2005 erhielt er mit anderen den [[Paris-Kanellakis-Preis]] und 2001 den [[ACM Software System Award]].<br />
<br />
== Schriften ==<br />
* ''The Spin Model Checker — Primer and Reference Manual'', Addison-Wesley, 2003<br />
* ''Design and Validation of Computer Protocols'', Prentice Hall, 1991.<br />
* ''The Early History of Data Networks'', IEEE Computer Society Press, 1995.<br />
* ''Beyond Photography — The Digital Darkroom'', Prentice Hall, 1988 (das Buch prägte den Begriff Digital Darkroom für Fotobearbeitung mit Computern)<br />
== Weblinks ==<br />
* [http://spinroot.com/gerard/ Homepage]<br />
<br />
{{Normdaten|TYP=p|GND=135594944|LCCN=n/88/74098|VIAF=5080653}}<br />
<br />
{{SORTIERUNG:Holzmann, Gerard}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Niederländischer Emigrant in den Vereinigten Staaten]]<br />
[[Kategorie:Niederländer]]<br />
[[Kategorie:Geboren 1951]]<br />
[[Kategorie:Mann]]<br />
[[Kategorie:Mitglied der Association for Computing Machinery]]<br />
[[Kategorie:Ehrendoktor der Universität Twente]]<br />
<br />
{{Personendaten<br />
|NAME=Holzmann, Gerard<br />
|ALTERNATIVNAMEN=Holzmann, Gerard J.<br />
|KURZBESCHREIBUNG=niederländischer Informatiker<br />
|GEBURTSDATUM=1951<br />
|GEBURTSORT=[[Amsterdam]]<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Aka