Joseph Sifakis

Joseph Sifakis
Joseph Sifakis

Joseph Sifakis es un científico de la computación griego naturalizado francés, 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.

From *.wikipedia.org,
Información General
.
Hombre
Fecha de nacimiento
26 de diciembre, 1946
Edad
79
Lugar de nacimiento
Greece, Crete Region
Zodíaco
Capricornio
Redes sociales , Enlaces
Interés
Loading Chart...
Listas
    index: 1x 0.025956153869629s
fmsppl-page-output: 1x 0.023918867111206s
t_/pages/fms-person-json: 1x 0.023899078369141s
t_/blocks/person-card-json: 1x 0.015949010848999s
headline: 7x 0.011326551437378s
t_/common/header: 1x 0.0070741176605225s
router_page: 1x 0.0014750957489014s
t_/common/head: 1x 0.00055813789367676s
head-facts: 1x 0.00053906440734863s
t_/common/footer: 1x 0.00047707557678223s
t_/common/searcher-result: 1x 2.5033950805664E-5s
----- END OF DUMP (2026-04-15 00:02:04)  -----