Sifakis, Joseph

Lessico del XXI Secolo (2013)

Sifakis, Joseph


Sifakis, Joseph. ‒ Informatico greco, naturalizzato francese (n. Heraklion, Creta, 1946). Direttore di ricerca presso il CNRS (Centre national de la recherche scientifique) e fondatore (1993) del Verimag laboratory di Grenoble. Nel 2007 è stato insignito – insieme a E. Allen Emerson ed Edmund Clarke – del premio Turing dell'ACM (Association for computing machinery) per i lavori sul model checking, una tecnica di controllo utilizzata nell’ambito industriale che descrive un sistema, software o altro, ne esprime una proprietà mediante una formula e utilizza quest’ultima per verificare in modo automatico il comportamento del sistema.

Vedi anche
Ritchie, Dennis M. Programmatore informatico statunitense (New York 1941 - Berkeley Heights, New Jersey, 2011). È noto soprattutto per aver creato, in collaborazione con K. Thompson, il sistema operativo UNIX, per il quale hanno ricevuto entrambi il Premio Turing nel 1983. Inoltre, insieme a B. Kernighan, è considerato ... Roussos, Demis (propr. Artemios Ventouris). – Cantante greco (Alessandria d'Egitto 1946 - Atene 2015). Componente, tra la fine degli anni Sessanta e i primi anni Settanta, del gruppo degli Aphrodite's Child – formato anche da Vangelis Papathanassiou, Loukas Sideras e Anargyros Koulouris – di cui è stato cantante e ... informatica Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’informatica si occupa della rappresentazione, dell’organizzazione e del trattamento automatico della informazione. Il termine informatica deriva dal fr. informatique (composto di INFORMATion e automatIQUE, ... Candia Città della Grecia (137.711 ab. nel 2001), sulle coste settentrionali dell’isola di Creta, capoluogo del nomos Iraklio. È la più grande dell’isola, attivo mercato agricolo e porto d’esportazione (frutta fresca e secca, vini, oli, seta, cotone, tappeti).  storia ● Il primo nucleo di Candia sorse durante ...
Tag