Joseph Sifakis
Joseph Sifakis
Persoonlijke gegevens
Geboortedatum	26 december 1946
Geboorteplaats	Iraklion , Kreta
Wetenschappelijk werk
Vakgebied	Informatica
Bekend van	Model checking
Promotor	Louis Bolliet [1]
Alma mater	Nationale Technische Universiteit van Athene
[2] officiele website
Portaal     Informatica

Joseph Sifakis ( Grieks : Ιωσ?φ Σηφ?κη?, Iosif Sifakis ) ( Iraklion , Kreta , 26 december 1946 ) is een Grieks / Frans informaticus . Samen met Edmund M. Clarke en E. Allen Emerson heeft hij in 2007 de Turing Award gewonnen voor hun werk over model checking .

Biografie [ bewerken | brontekst bewerken ]

Sifakis heeft elektrotechniek gestudeerd aan de National Technical University of Athens (NTUA) en informatica aan de Universite Joseph Fourier en het Institut polytechnique , beide te Grenoble . In 1976 nam hij de Franse nationaliteit aan.

Sifakis is de oprichter van het Verimag Laboratory in Grenoble , Frankrijk bij het Centre national de la recherche scientifique waar onderzoek wordt verricht naar ingebedde systemen . Van 1993 tot 2006 was hij hier onderzoeksdirecteur. Sifakis is ook wetenschappelijk coordinator bij Artist2 dat ook onderzoek verricht naar ingebedde systemen. ^[3]

In 2007 won hij samen met Edmund M. Clarke en E. Allen Emerson de Turing Award :

For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.

? Association for Computing Machinery ^[4]

In 2001 won hij de CNRS Silver Medal . ^[5] Sifakis is benoemd tot Grootofficier in de Franse Nationale Orde van Verdienste . ^[5] Sifakis is lid van de Academia Europaea en het Franse Academie des technologies .

Externe link [ bewerken | brontekst bewerken ]

• ( en ) Joseph Sifakis

Zie de categorie Joseph Sifakis van Wikimedia Commons voor mediabestanden over dit onderwerp.