Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación francés de origen griego, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking.
1	Joseph	joseph	PROPN	_	_	16	nsubj	_	_
2	Sifakis	sifakis	PROPN	_	_	1	flat	_	_
3	(	(	PUNCT	_	_	4	punct	_	SpaceAfter=No
4	Heraclión	heraclión	PROPN	_	_	1	appos	_	SpaceAfter=No
5	,	,	PUNCT	_	_	6	punct	_	_
6	Creta	creta	PROPN	_	_	4	appos	_	SpaceAfter=No
7	,	,	PUNCT	_	_	8	punct	_	_
8	26	26	NUM	_	NumType=Card	4	nmod	_	_
9	de	de	ADP	_	_	10	case	_	_
10	diciembre	diciembre	PROPN	_	_	8	nmod	_	_
11	de	de	ADP	_	_	12	case	_	_
12	1946	1946	NUM	_	NumType=Card	10	nmod	_	SpaceAfter=No
13	)	)	PUNCT	_	_	4	punct	_	_
14	es	ser	AUX	_	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	16	cop	_	_
15	un	uno	DET	_	Definite=Ind|Gender=Masc|Number=Sing|PronType=Art	16	det	_	_
16	científico	científico	NOUN	_	Gender=Masc|Number=Sing	0	root	_	_
17	de	de	ADP	_	_	19	case	_	_
18	la	el	DET	_	Definite=Def|Gender=Fem|Number=Sing|PronType=Art	19	det	_	_
19	computación	computación	NOUN	_	Gender=Fem|Number=Sing	16	nmod	_	_
20	francés	francés	ADJ	_	Gender=Fem|Number=Sing	16	amod	_	_
21	de	de	ADP	_	_	22	case	_	_
22	origen	origen	NOUN	_	Gender=Masc|Number=Sing	16	nmod	_	_
23	griego	griego	ADJ	_	Gender=Masc|Number=Sing	22	amod	_	SpaceAfter=No
24	,	,	PUNCT	_	_	25	punct	_	_
25	ganador	ganador	ADJ	_	Gender=Masc|Number=Sing	16	amod	_	_
26-27	del	_	_	_	_	_	_	_	_
26	de	de	ADP	_	_	28	case	_	_
27	el	el	DET	_	Definite=Def|Gender=Masc|Number=Sing|PronType=Art	28	det	_	_
28	Premio	premio	NOUN	_	Gender=Masc|Number=Sing	25	nmod	_	_
29	Turing	turing	PROPN	_	_	28	appos	_	_
30	de	de	ADP	_	_	31	case	_	_
31	2007	2007	NUM	_	NumType=Card	28	nmod	_	_
32	junto	junto	ADJ	_	Gender=Masc|Number=Sing	34	case	_	_
33	con	con	ADP	_	_	32	fixed	_	_
34	Edmund	edmund	PROPN	_	_	25	nmod	_	_
35	Clarke	clarke	PROPN	_	_	34	flat	_	_
36	y	y	CCONJ	_	_	37	cc	_	_
37	E.	e.	PROPN	_	_	34	conj	_	_
38	Allen	allen	PROPN	_	_	37	flat	_	_
39	Emerson	emerson	PROPN	_	_	37	flat	_	SpaceAfter=No
40	,	,	PUNCT	_	_	43	punct	_	_
41	por	por	ADP	_	_	43	case	_	_
42	su	su	DET	_	Number=Sing|Person=3|Poss=Yes|PronType=Prs	43	det	_	_
43	trabajo	trabajo	NOUN	_	Gender=Masc|Number=Sing	25	nmod	_	_
44	en	en	ADP	_	_	46	case	_	_
45	el	el	DET	_	Definite=Def|Gender=Masc|Number=Sing|PronType=Art	46	det	_	_
46	método	método	NOUN	_	Gender=Masc|Number=Sing	43	nmod	_	_
47	conocido	conocer	VERB	_	Gender=Masc|Number=Sing|VerbForm=Part	46	acl	_	_
48	como	como	ADP	_	_	50	case	_	_
49	model	model	X	_	Gender=Masc|Number=Sing	50	compound	_	_
50	checking	checking	X	_	Number=Sing	47	obl	_	SpaceAfter=No
51	.	.	PUNCT	_	_	16	punct	_	_
