Eredoctoraat voor SPIN-ontwikkelaar

04-12-2006 11:15 | Door Jolein de Rooij | Er zijn nog geen reacties op dit artikel | Permalink

Vrijdag 1 december kreeg NASA-informaticus dr. Gerard Holzmann een eredoctoraat uitgereikt door de Universiteit Twente voor zijn pioneerswerk op het gebied van betrouwbare software.

Holzmann ontwikkelde SPIN, dat wereldwijd door tienduizenden mensen wordt gebruikt om de betrouwbaarheid van hun software te controleren. “Veel kritische toepassingen – voor bijvoorbeeld de besturing van telefooncentrales en ruimtevaartuigen – bestaan tegenwoordig uit multithreaded systemen. Dat soort systemen zijn zo complex dat je hun betrouwbaarheid niet kunt garanderen door te testen of ze nauwkeurig te bestuderen. Je hebt dus een ander soort gereedschap nodig, zoals bijvoorbeeld SPIN. De grote kracht van SPIN is dat programmeurs alle theorie die erin verwerkt is niet hoeven te kennen om de tool toch te kunnen gebruiken.”

Holzmann promoveerde in 1979 als informaticus in Delft. Tussen 1980 en 2003 maakte hij binnen Bell Labs deel uit van de Computing Science Research groep, waarbinnen onder andere het besturingssysteem Unix en de programmeertalen C en C++ ontwikkeld werden. Holzmann werkte vijftien jaar aan de SPIN model checker, waarvoor hij in april 2002 de Software System Award ontving van de Amerikaanse Association for Computing Machinery. Vanaf 2003 werkt Holzmann bij het Jet Propulsion Laboratory van de NASA aan het verbeteren van de betrouwbaarheid van de software voor ruimtevaartuigen.

	Aantal reacties met 3+ sterren		Gemiddelde waardering
1	PaVaKe	154	6.4
2	Reza Sarshar	120	6.7
3	Henri Koppen	109	6.4
4	edekkinga	79	6.6
5	Jaap-G	53	6.1
6	Guido Groeneweg	49	6.3
7	Ruud Mulder	47	6.5
8	mauwerd	43	6.1
9	Frank Brechts	43	6.0
10	Rob Koelmans	40	6.3

Nieuws / Development

Eredoctoraat voor SPIN-ontwikkelaar

10-02 Infor helpt Ferrari met bouwen F1-auto's

10-02 Tester Four Oaks in Israëlische handen

10-02 IS Online en Tres zijn klaar voor Elfstedentocht

10-02 SecureLink migreert Microsoft-diensten Atradius

10-02 Nieuwe software brengt Vitens in problemen

10-02 Ex-Misys-topman moet CSC uit penarie helpen

10-02 Veenman en 20/20 vision adviseren samen klant

10-02 Cisco maakt 2,2 miljard dollar kwartaalwinst

10-02 Misys en Temenos willen fuseren

10-02 Raet stelt Schrijnemaekers als nieuwe CFO aan

10-02 Tester Four Oaks in Israëlische handen

10-02 Nieuwe software brengt Vitens in problemen

08-02 Nokia verplaatst smartphoneproductie naar India

08-02 'ICT-afdeling is te traag voor ontwikkeling apps'

06-02 Banometer: Topstart vacaturemarkt krijgt vervolg

06-02 Duitse PMCS.helpLine neemt Leidse MCH+ over

03-02 Siemens PLM Software introduceert Jack 7.1

03-02 Itemis betreedt Nederlandse markt via Warmer IT

01-02 Microsoft-partner Asapnet zet IT-University op

01-02 Kwaliteitscontroleur is nog geen testprofessional

Gemeenten en ICT besparingen