Bedenker statecharts krijgt TUE-eredoctoraat

1 februari 2012

Op 27 april reikt de TU Eindhoven een eredoctoraat uit aan David Harel. In softwarekringen is de Israëliër vooral bekend om de statechart, het visuele modelleerformalisme dat hij bedacht en dat inmiddels zijn weg heeft gevonden naar de UML-standaard. Ook was hij medeoprichter van I-Logix, dat de (statechartgebaseerde) Rhapsody-modelleeromgeving ontwikkelde. In 2006 kwamen bedrijf en tool in handen van Telelogic, dat twee jaar later op zijn beurt overging naar IBM.

De aanstaande TUE-eredoctor David Harel is bedenker van de statechart en medeoprichter van I-Logix, het bedrijf dat de Rhapsody-tool ontwikkelde.

Harel studeerde informatica aan de universiteit van Tel Aviv. In 1976 rondde hij deze studie af met een scriptie onder supervisie van Turing Award-winnaar Amir Pnueli. Vervolgens promoveerde hij in een recordtijd van slechts twintig maanden aan het MIT. Sinds 1980 werkt hij bij het Weizmann Institute of Science in het Israëlische Rehovot. Bij de faculteit Wiskunde en Informatica vervulde hij daar onder meer de functies van afdelingshoofd en decaan. Momenteel leidt hij het John von Neumann Minerva Center for the Development of Reactive Systems.

De afgelopen dertig jaar heeft Harel diverse bijdragen geleverd aan het dichten van de kloof tussen informele systeembeschrijvingen en uitvoerbare programma’s. Hij ziet het als een grote uitdaging om systeemontwikkeling te ontdoen van de beperkingen van klassieke programmeermethodes. In zijn onderzoek legt hij een sterk verband tussen theoretische resultaten en de realisatie van concrete systemen. Mede hierom past zijn werk goed bij het engineeringkarakter van de TUE, stelt de universiteit.

Nieke Roos

Terug naar overzicht