Joseph Sifakis

Joseph Sifakis
Joseph Sifakis
Joseph Sifakis img 0966.jpg
Joseph Sifakis en 2008.
Nombre Joseph Sifakis
Nacimiento 26 de diciembre de 1946 (64 años)
Heraclión, Creta Flag of Greece.svg Grecia
Nacionalidad griego - francés
Ocupación informático
Premios Premio Turing 2007
Sitio web
Joseph Sifakis

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.

Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble.

Enlaces externos


Predecesor:
Frances Elizabeth Allen
Premio Turing
2007
Sucesor:
Barbara Liskov

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Joseph Sifakis — en 2008 Joseph Sifakis est un chercheur en informatique français d origine grecque[1], directeur de recherche au CNRS. Joseph Sifakis est ingénieur électricien de l’École Polytechnique d’Athènes, docteur ingénieur de l …   Wikipédia en Français

  • Joseph Sifakis — 2008 Joseph Sifakis (griechisch Ιωσήφ Σηφάκης; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch französischer[1] …   Deutsch Wikipedia

  • Joseph Sifakis — ( el. Ιωσήφ Σηφάκης) is a Greek(Eleftherotypia 05 Feb 2008) http://www.enet.gr/online/online text/c=112,id=46050344 el icon] (Kathimerini 04 Feb 2008) http://portal.kathimerini.gr/4dcgi/ w articles kathworld 12 04/02/2008 220846 el icon] computer …   Wikipedia

  • Sifakis — Joseph Sifakis Joseph Sifakis en 2008 Joseph Sifakis est un chercheur en informatique français d origine grecque,[1] directeur de recherche au CNRS. Joseph Sifakis est ingénieur électricien de l’École Polytechni …   Wikipédia en Français

  • Sifakis — ist der Name folgender Personen: Joseph Sifakis (* 1946), griechisch französischer Informatiker und Turing Preisträger Michalis Sifakis (* 1984), griechischer Fußballspieler Diese Seite ist eine Begriffsklärung zur Untersche …   Deutsch Wikipedia

  • Joseph Esposito (mobster) — Joseph Diamond Joe Esposito (April 28, 1872 March 21, 1928) was a Prohibition era Chicago politician who was involved in bootlegging, extortion, prostitution and labor racketeering with the Genna Brothers. Born Giuseppe Esposito in Naples, Italy… …   Wikipedia

  • Joseph Zerilli — (December 10, 1897 October 30, 1977) was a Prohibition era Detroit gangster who would found the infamous Purple Gang. Zerilli would eventually head the crime family known as the Detroit Partnership from the 1930s through the 1970s. Early lifeHe… …   Wikipedia

  • Joseph Tangorra — Joseph Joey Flowers Tangorra (born 1950) is a New York mobster who became a caporegime, or captain, in the Lucchese crime family active in labor racketeering and murder. Family memberBorn in New York, Tangorra grew up in Little Italy, Manhattan.… …   Wikipedia

  • Joseph Esposito — Joseph Diamond Joe Esposito (28 avril 1872 21 mars 1928) était un politicien de Chicago pendant la prohibition, impliqué dans la vente illégale d alcool, l extortion et la prostitution. Il est parent avec Nicholas Esposito, membre de la famille… …   Wikipédia en Français

  • Joseph Saltis — Joseph Polack Joe Saltis [Soltis] (died 1947) was an early Prohibition gangster who, who with Frank McErlane, controlled bootlegging in the Southwest Side of Chicago, Illinois. Originally a Polish[1] saloon owner from Joliet, Illinois, Saltis… …   Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”