1
Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki
Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki
DATE: 2013/05/15::
2
Joseph Sifakis
Joseph Sifakis
DATE: 2014/04/06::
3
2007 Turing Awards - Ed Clarke, Ernest Emerson, and Joseph Sifakis
2007 Turing Awards - Ed Clarke, Ernest Emerson, and Joseph Sifakis
DATE: 2014/03/03::
4
Prof. JOSEPH SIFAKIS
Prof. JOSEPH SIFAKIS
DATE: 2009/03/19::
5
L
L'Internet des objets : Interview de Joseph Sifakis
DATE: 2014/04/25::
6
Joseph Sifakis @ websci09
Joseph Sifakis @ websci09
DATE: 2009/03/19::
7
Interview of Joseph Sifakis, 2007 Turing Award Recipient
Interview of Joseph Sifakis, 2007 Turing Award Recipient
DATE: 2015/04/27::
8
TUCS 20 Distinguished Lecture 24.10 2014, Joseph Sifakis
TUCS 20 Distinguished Lecture 24.10 2014, Joseph Sifakis
DATE: 2014/10/29::
9
IISA 2013: Distinguished Keynote Speaker Joseph Sifakis
IISA 2013: Distinguished Keynote Speaker Joseph Sifakis
DATE: 2013/07/12::
10
Grenoble-Isere software: Joseph Sifakis, Turing price 2007  interview
Grenoble-Isere software: Joseph Sifakis, Turing price 2007 interview
DATE: 2010/12/02::
11
Joseph Sifakis : L
Joseph Sifakis : L'accélération de la convergence technologique, une révolution à ne pas rater
DATE: 2013/12/19::
12
Web Science Conference 2009 press conference Joseph Sifakis
Web Science Conference 2009 press conference Joseph Sifakis
DATE: 2009/09/14::
13
How to Pronounce Joseph Sifakis - PronounceNames.com
How to Pronounce Joseph Sifakis - PronounceNames.com
DATE: 2013/11/13::
14
Systems Architecture, Design, Engineering, and Verification
Systems Architecture, Design, Engineering, and Verification
DATE: 2013/01/17::
15
CYBC, 1 June 09, Prof. Sifakis interview on
CYBC, 1 June 09, Prof. Sifakis interview on 'Apo Mera Se Mera'
DATE: 2009/07/03::
16
Model checking: my 27-year quest to overcome the state explosion problem
Model checking: my 27-year quest to overcome the state explosion problem
DATE: 2013/01/29::
17
Ο οραματιστής της Πληροφορικής Ιωσήφ Σηφάκης
Ο οραματιστής της Πληροφορικής Ιωσήφ Σηφάκης
DATE: 2014/06/04::
18
L
L'Internet des objets : Interview de Manfred Broy
DATE: 2014/04/25::
19
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
DATE: 2012/04/25::
20
30 Greek Ideas that Changed the World
30 Greek Ideas that Changed the World
DATE: 2015/06/29::
21
L
L'Internet des objets : Interview Janos Sztipanovits
DATE: 2014/04/25::
22
Microsoft Research TechVista 2013 Promo
Microsoft Research TechVista 2013 Promo
DATE: 2012/12/30::
23
Rep Your Flag Adelfloufe Edition
Rep Your Flag Adelfloufe Edition
DATE: 2014/04/13::
24
For Coordination, State Component Transitions
For Coordination, State Component Transitions
DATE: 2013/12/04::
25
Reload Greece Conference
Reload Greece Conference '14 - Manos Sifakis
DATE: 2014/07/21::
26
Michalis Sifakis AIR MIKE !
Michalis Sifakis AIR MIKE !
DATE: 2007/06/18::
27
Michalis Sifakis 2009-2010
Michalis Sifakis 2009-2010
DATE: 2010/09/22::
28
Virtual Z-plasty, Sifakis et al, Studies in Health and Technology Informatics, 2009.
Virtual Z-plasty, Sifakis et al, Studies in Health and Technology Informatics, 2009.
DATE: 2011/07/13::
29
sifakis
sifakis
DATE: 2009/07/23::
30
Prof. J. Sifakis websci09 - Μέρος 1ο
Prof. J. Sifakis websci09 - Μέρος 1ο
DATE: 2009/03/19::
31
Goalkeeper Training FC Levadiakos 10/01/2015
Goalkeeper Training FC Levadiakos 10/01/2015
DATE: 2015/01/15::
32
APHΣ-Ο.Σ.Φ.Π..3gp
APHΣ-Ο.Σ.Φ.Π..3gp
DATE: 2008/12/10::
33
ΜΑΝΙΑΣ-ΚΑΚΛΗΣ-ΒΕΡΔΙΝΑΚΗΣ-ΜΑΜΑΛΑΚΗΣ-21-03-12.AVI
ΜΑΝΙΑΣ-ΚΑΚΛΗΣ-ΒΕΡΔΙΝΑΚΗΣ-ΜΑΜΑΛΑΚΗΣ-21-03-12.AVI
DATE: 2012/03/21::
34
Ο ΤΖΑΤΖΑΣ ΜΕ ΤΟΝ ΣΗΦΗ ΣΤΟ ΜΕΣΟΣΤΡΑΤΙ.MOV
Ο ΤΖΑΤΖΑΣ ΜΕ ΤΟΝ ΣΗΦΗ ΣΤΟ ΜΕΣΟΣΤΡΑΤΙ.MOV
DATE: 2012/05/04::
35
FIFA World Cup 2010 - Greece eye South Korea opener
FIFA World Cup 2010 - Greece eye South Korea opener
DATE: 2013/08/05::
36
Greetings and welcome - 01 - Sandler Conference 2014
Greetings and welcome - 01 - Sandler Conference 2014
DATE: 2014/03/11::
37
Italia vs Irlanda (EURO 2012) Mario Balotelli amazing Goal and his reaction
Italia vs Irlanda (EURO 2012) Mario Balotelli amazing Goal and his reaction
DATE: 2012/06/18::
38
Argentina 4 vs Brazil 3 "09/06/2012" HD Highlight (Clash Of The Titans)
Argentina 4 vs Brazil 3 "09/06/2012" HD Highlight (Clash Of The Titans)
DATE: 2012/06/18::
39
China
China's first female astronaut
DATE: 2012/06/19::
40
Snufell-Egw Kai Esu(You And I)
Snufell-Egw Kai Esu(You And I)
DATE: 2010/12/06::
41
TEDxThessaloniki - Eileen Botsford Velissaropoulos - Excellence by Instinct
TEDxThessaloniki - Eileen Botsford Velissaropoulos - Excellence by Instinct
DATE: 2011/05/14::
42
Αρης-Rosenborg 2-0 φοβερη περιγραφη απο ARIS FM
Αρης-Rosenborg 2-0 φοβερη περιγραφη απο ARIS FM
DATE: 2010/12/16::
43
Club Brugge  2 - 0  Sporting Charleroi
Club Brugge 2 - 0 Sporting Charleroi
DATE: 2013/07/27::
44
2004 - Bob Kahn and Vint Cerf
2004 - Bob Kahn and Vint Cerf
DATE: 2014/03/03::
45
ANNA ΔΙΑΜΑΝΤΟΠΟΥΛΟΥ -WEB WORLD CONFERANCE
ANNA ΔΙΑΜΑΝΤΟΠΟΥΛΟΥ -WEB WORLD CONFERANCE
DATE: 2009/03/19::
46
TEDxThessaloniki - Athanasios G. Konstandopoulos - Fueling our World from Water and the Sun
TEDxThessaloniki - Athanasios G. Konstandopoulos - Fueling our World from Water and the Sun
DATE: 2011/05/15::
47
Oppia ikä kaikki?: Eero Castren at TEDxHelsinki
Oppia ikä kaikki?: Eero Castren at TEDxHelsinki
DATE: 2013/05/14::
48
Resección Quirúrgica de Verrugas
Resección Quirúrgica de Verrugas
DATE: 2012/04/12::
49
Computer Science Major
Computer Science Major
DATE: 2013/09/01::
50
17th ITA CONFERENCE CROSSDISCIPLINARY SCIENTIFIC CONSCIOUSNESS RESEARCH 26 06 2010
17th ITA CONFERENCE CROSSDISCIPLINARY SCIENTIFIC CONSCIOUSNESS RESEARCH 26 06 2010
DATE: 2013/10/15::
NEXT >>
RESULTS [51 .. 101]
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Joseph Sifakis
Joseph Sifakis img 0966.jpg
Born December 26, 1946
Heraklion, Crete, Hellas
Citizenship Greek/French
Fields Computer science
Institutions CNRS
Alma mater National Technical University of Athens
University of Grenoble
Known for Development of Model-Checking
Notable awards Turing Award (2007)

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-born French computer scientist,[1] laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.

He was born in Heraklion, Crete in 1946[2] and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship.[3] He received a doctorate in 1974 from the University of Grenoble,[4] where he also received a state doctorate in 1979.[5][6][7]

He was awarded in 2009 a Dr. h.c. from the École Polytechnique Fédérale de Lausanne, Switzerland, where he has been appointed Full Professor in 2011[8] (at the School of Computer and Communication Sciences).

Sifakis lives in France, whose citizenship he took in 1976[1] and works for the Centre national de la recherche scientifique at the VERIMAG laboratory near Grenoble,[7] of which he is a founder.[2][9]

He is also coordinator of Artist2, the European Network of Excellence for research on Embedded Systems.[10]

He is a grand officer of France's national order of merit[11] and commander in France's Legion of Honour.[12]

References[edit]

  1. ^ a b Aperçu historique de l’immigration grecque à Grenoble, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, ISBN 2-905375-08-6
  2. ^ a b (Eleftherotypia - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής (Greek)
  3. ^ (Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή (Greek)
  4. ^ Modèles temporels des systèmes logiques ("Temporal models of logic systems"), Université scientifique et médicale de Grenoble, 1976, under the supervision of Jean Kuntzmann
  5. ^ Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique ("Control of asynchronous systems: concepts, properties, static analysis"), USMG and INPG, 1979 under the supervision of Louis Bolliet
  6. ^ At the time when Joseph Sifakis was a graduate student, there existed in France two levels of PhDs, the higher one, the doctorat d'état ("state doctorate") being necessary to access professorships. It has since been replaced by the habilitation.
  7. ^ a b There were two science universities in Grenoble: the Université scientifique et médicale de Grenoble (USMG, Grenoble-1), which was later renamed to Joseph Fourier University, and the Grenoble Institute of Technology(INPG), later renamed to Grenoble-INP. VERIMAG is a joint laboratory of CNRS, Joseph Fourier University and Grenoble-INP.
  8. ^ News at EPFL
  9. ^ CNRS website - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 (French)
  10. ^ ARTIST2 NoE - Strategic Management Board — Artist2 NoE
  11. ^ Decree of 16 May 2008 published in the Journal officiel de la République Française of 17 May 2008.
  12. ^ Decree of 13 July 2011 published in the Journal officiel de la République Française of 14 July 2008.]

External links[edit]

Wikipedia content is licensed under the GFDL License
Powered by YouTube
MASHPEDIA
LEGAL
  • Mashpedia © 2015