<?xml version="1.0" encoding="UTF-8"?>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:wx="http://ilps.science.uva.nl/WikiXML/wx" xml:lang="it" lang="it">
<head>
<title>Joseph Sifakis</title>
<meta name="wx_namespace" content="0"/>
<meta name="wx_pagename" content="Joseph_Sifakis"/>
<meta name="wx_page_id" content="1594714"/>
</head>
<body>
<div id="wx_article">
<wx:section level="1" title="Joseph Sifakis" id="wxsec1"><h1 class="pagetitle" id="wx1">Joseph Sifakis</h1>

<wx:template id="wx_t1" pagename="Template:S" page_id="473933"/>
<div class="toccolours itwiki_template_avviso rad noprint" style="margin-bottom:.5em" id="wx2">
<div style="align:left; margin:-3px 0 -4px" id="wx3"><a href="/wit/Immagine:Puzzle_stub1.png" title="Stub" wx:linktype="image" wx:pagename="Immagine:Puzzle_stub1.png" wx:page_id="125859" id="wx4"><img src="/wit/Immagine:Puzzle_stub1.png" alt="Stub" width="30" id="wx5"/></a>
<p id="wx6"> Questa voce di <a href="/wit/Informatici" title="Informatici" wx:linktype="known" wx:pagename="Informatici" wx:page_id="1408718" id="wx7">informatici</a> e di <a href="/wit/Greci" title="Greci" wx:linktype="known" wx:pagename="Greci" wx:page_id="200634" id="wx8">greci</a> è solo un <a href="/wit/Aiuto:Abbozzo" title="Aiuto:Abbozzo" wx:linktype="known" wx:pagename="Aiuto:Abbozzo" id="wx9">abbozzo</a>: <b id="wx10"><a href="http://wit/wit/index.php?title=Joseph_Sifakis&amp;action=edit" class="external text" wx:linktype="external" rel="nofollow" id="wx11">contribuisci</a></b> a migliorarla secondo le <a href="/wit/Aiuto:Manuale_di_stile" title="Aiuto:Manuale di stile" wx:linktype="known" wx:pagename="Aiuto:Manuale_di_stile" id="wx12">convenzioni di Wikipedia</a>.</p>
</div>
</div>

<wx:templateend start="wx_t1"/>
<p id="wx13"><wx:template id="wx_t2" pagename="Template:Bio" page_id="468201"/>
<a href="/wit/Template:DEFAULTSORT:Sifakis%2C_Joseph" class="new" title="Template:DEFAULTSORT:Sifakis, Joseph" wx:linktype="unknown" wx:pagename="Template:DEFAULTSORT:Sifakis,_Joseph" id="wx14">Template:DEFAULTSORT:Sifakis, Joseph</a> <b id="wx15">Joseph Sifakis</b> (<a href="/wit/Lingua_Greca" title="Lingua Greca" wx:linktype="known" wx:pagename="Lingua_Greca" wx:page_id="638008" id="wx16">Greco</a>: Iωσήφ Σηφάκης; <a href="/wit/Iraklio" title="Iraklio" wx:linktype="known" wx:pagename="Iraklio" wx:page_id="669352" id="wx17">Iraklio</a>, <a href="/wit/1946" title="1946" wx:linktype="known" wx:pagename="1946" wx:page_id="4753" id="wx18">1946</a>) è  un <a href="/wit/Informatico" title="Informatico" wx:linktype="known" wx:pagename="Informatico" wx:page_id="135677" id="wx19">informatico</a> <a href="/wit/Grecia" title="Grecia" wx:linktype="known" wx:pagename="Grecia" wx:page_id="698940" id="wx20">greco</a>. <wx:templateend start="wx_t2"/>
Fu tra i primi a contribuire alla teoria del <a href="/wit/Model_checking" title="Model checking" wx:linktype="known" wx:pagename="Model_checking" wx:page_id="466771" id="wx21">model checking</a>. Sifakis (insieme con <a href="/wit/Edmund_M._Clarke" class="new" title="Edmund M. Clarke" wx:linktype="unknown" wx:pagename="Edmund_M._Clarke" id="wx22">Edmund M. Clarke</a> e <a href="/wit/E._Allen_Emerson" class="new" title="E. Allen Emerson" wx:linktype="unknown" wx:pagename="E._Allen_Emerson" id="wx23">E. Allen Emerson</a>) ha ricevuto il <a href="/wit/Premio_Turing" title="Premio Turing" wx:linktype="known" wx:pagename="Premio_Turing" wx:page_id="20026" id="wx24">Premio Turing</a> nel <a href="/wit/2007" title="2007" wx:linktype="known" wx:pagename="2007" wx:page_id="1221032" id="wx25">2007</a>.</p>
</wx:section></div>
<div id="wx_categorylinks">
<a href="/wit/index.php?title=Speciale:Categories&amp;article=Joseph_Sifakis" title="Speciale:Categories" wx:linktype="known" wx:pagename="Speciale:Categories" id="wx26">Categorie</a>: <span dir="ltr" id="wx27"><a href="/wit/Categoria:Stub_informatici" title="Categoria:Stub informatici" wx:linktype="known" wx:pagename="Categoria:Stub_informatici" wx:page_id="1408707" id="wx28">Stub informatici</a></span> | <span dir="ltr" id="wx29"><a href="/wit/Categoria:Stub_greci" title="Categoria:Stub greci" wx:linktype="known" wx:pagename="Categoria:Stub_greci" wx:page_id="1312768" id="wx30">Stub greci</a></span> | <span dir="ltr" id="wx31"><a href="/wit/Categoria:Biografie" title="Categoria:Biografie" wx:linktype="known" wx:pagename="Categoria:Biografie" wx:page_id="24727" id="wx32">Biografie</a></span> | <span dir="ltr" id="wx33"><a href="/wit/Categoria:Informatici_greci" title="Categoria:Informatici greci" wx:linktype="known" wx:pagename="Categoria:Informatici_greci" wx:page_id="1606291" id="wx34">Informatici greci</a></span> | <span dir="ltr" id="wx35"><a href="/wit/Categoria:BioBot" title="Categoria:BioBot" wx:linktype="known" wx:pagename="Categoria:BioBot" wx:page_id="480562" id="wx36">BioBot</a></span></div>
<div id="wx_languagelinks">
Altre lingue: <a href="http://de.wikipedia.org/wiki/Joseph_Sifakis" class="external" wx:linktype="interwiki" wx:pagename="de:Joseph_Sifakis" id="wx37">Deutsch</a> | <a href="http://el.wikipedia.org/wiki/%CE%99%CF%89%CF%83%CE%AE%CF%86_%CE%A3%CE%B7%CF%86%CE%AC%CE%BA%CE%B7%CF%82" class="external" wx:linktype="interwiki" wx:pagename="el:Ιωσήφ_Σηφάκης" id="wx38">Ελληνικά</a> | <a href="http://en.wikipedia.org/wiki/Joseph_Sifakis" class="external" wx:linktype="interwiki" wx:pagename="en:Joseph_Sifakis" id="wx39">English</a> | <a href="http://es.wikipedia.org/wiki/Joseph_Sifakis" class="external" wx:linktype="interwiki" wx:pagename="es:Joseph_Sifakis" id="wx40">Español</a> | <a href="http://fr.wikipedia.org/wiki/Joseph_Sifakis" class="external" wx:linktype="interwiki" wx:pagename="fr:Joseph_Sifakis" id="wx41">Français</a></div>
</body>
<wx:templatearguments for="wx_t1"><wx:argument name="1">
<p id="wx42">informatici</p>
</wx:argument><wx:argument name="2">
<p id="wx43">greci</p>
</wx:argument></wx:templatearguments>
<wx:templatearguments for="wx_t2"><wx:argument name="Nome">
<p id="wx44">Joseph</p>
</wx:argument><wx:argument name="Cognome">
<p id="wx45">Sifakis</p>
</wx:argument><wx:argument name="Sesso">
<p id="wx46">M</p>
</wx:argument><wx:argument name="PreData">
<a href="/wit/Lingua_Greca" title="Lingua Greca" wx:linktype="known" wx:pagename="Lingua_Greca" wx:page_id="638008" id="wx47">Greco</a>
<p id="wx48">: Iωσήφ Σηφάκης</p>
</wx:argument><wx:argument name="LuogoNascita">
<p id="wx49">Iraklio</p>
</wx:argument><wx:argument name="GiornoMeseNascita"/><wx:argument name="AnnoNascita">
<p id="wx50">1946</p>
</wx:argument><wx:argument name="LuogoMorte"/><wx:argument name="GiornoMeseMorte"/><wx:argument name="AnnoMorte"/><wx:argument name="Attività">
<p id="wx51">informatico</p>
</wx:argument><wx:argument name="Epoca"/><wx:argument name="Nazionalità">
<p id="wx52">greco</p>
</wx:argument><wx:argument name="PostNazionalità"/></wx:templatearguments>
</html>
