To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Joseph Sifakis

De Wikipedia, la enciclopedia libre

Joseph Sifakis

Joseph Sifakis en 2008.
Información personal
Nombre en griego Ιωσήφ Σηφάκης Ver y modificar los datos en Wikidata
Nacimiento 26 de diciembre de 1946 (77 años)
Heraclión, Creta Grecia Grecia
Nacionalidad griega - francesa
Educación
Educado en Universidad Politécnica Nacional de Atenas Ver y modificar los datos en Wikidata
Supervisor doctoral Louis Bolliet y Jean Kuntzmann Ver y modificar los datos en Wikidata
Información profesional
Ocupación informático
Cargos ocupados Director de investigación del CNRS Ver y modificar los datos en Wikidata
Empleador
Miembro de
Sitio web
Distinciones Premio Turing 2007

Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) 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.

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.

YouTube Encyclopedic

  • 1/1
    Views:
    879
  • Microsoft Research TechVista 2013 Promo

Transcription

Enlaces externos


Predecesor:
Frances Elizabeth Allen
Premio Turing
2007
Sucesor:
Barbara Liskov
Esta página se editó por última vez el 25 dic 2023 a las 14:43.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.