Saltu al enhavo

Joseph Sifakis

El Vikipedio, la libera enciklopedio
Joseph Sifakis
Persona informo
Ιωσήφ Σηφάκης
Naskiĝo 26-an de decembro 1946 (1946-12-26) (77-jaraĝa)
en Iraklio
Lingvoj grekafranca vd
Ŝtataneco Grekio
Francio Redakti la valoron en Wikidata vd
Alma mater Nacia Politekniko de Ateno Redakti la valoron en Wikidata vd
Profesio
Okupo komputosciencisto
inĝeniero
scienca esploristo Redakti la valoron en Wikidata vd
Laborkampo Komputiko Redakti la valoron en Wikidata vd
Doktoreca konsilisto Louis Bolliet • Jean Kuntzmann vd
En TTT Oficiala retejo vd
vd Fonto: Vikidatumoj
vdr

Joseph SIFAKIS (Iraklio, Kreto, 26-an de decembro 1946) estas greka-franca komputikisto, li ricevis la Premion Turing en 2007 kune kun Edmund Clarke kaj E. Allen Emerson, pro ilia laboro en la metodo konita kiel model checking.[1]

Referencoj

[redakti | redakti fonton]