Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki

Channel: TEDxTalks   |   2013/05/15
Play Video
1
Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki
Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki
::2013/05/15::
Play Video
2
Grenoble-Isere software: Joseph Sifakis, Turing price 2007  interview
Grenoble-Isere software: Joseph Sifakis, Turing price 2007 interview
::2010/12/02::
Play Video
3
IISA 2013: Distinguished Keynote Speaker Joseph Sifakis
IISA 2013: Distinguished Keynote Speaker Joseph Sifakis
::2013/07/12::
Play Video
4
Joseph Sifakis : L
Joseph Sifakis : L'accélération de la convergence technologique, une révolution à ne pas rater
::2013/12/19::
Play Video
5
2007 Turing Awards - Ed Clarke, Ernest Emerson, and Joseph Sifakis
2007 Turing Awards - Ed Clarke, Ernest Emerson, and Joseph Sifakis
::2014/03/03::
Play Video
6
How to Pronounce Joseph Sifakis - PronounceNames.com
How to Pronounce Joseph Sifakis - PronounceNames.com
::2013/11/13::
Play Video
7
Prof. JOSEPH SIFAKIS
Prof. JOSEPH SIFAKIS
::2009/03/19::
Play Video
8
Joseph Sifakis @ websci09
Joseph Sifakis @ websci09
::2009/03/20::
Play Video
9
Web Science Conference 2009 WWWForum Joseph Sifakis part3
Web Science Conference 2009 WWWForum Joseph Sifakis part3
::2009/08/10::
Play Video
10
Joseph Sifakis
Joseph Sifakis
::2014/04/06::
Play Video
11
Web Science Conference 2009 press conference Joseph Sifakis
Web Science Conference 2009 press conference Joseph Sifakis
::2009/09/14::
Play Video
12
Ιωσήφ Σηφάκης part 1
Ιωσήφ Σηφάκης part 1
::2012/11/02::
Play Video
13
CYBC, 1 June 09, Prof. Sifakis interview on
CYBC, 1 June 09, Prof. Sifakis interview on 'Apo Mera Se Mera'
::2009/07/03::
Play Video
14
Prof. J. Sifakis websci09 - Μέρος 2ο
Prof. J. Sifakis websci09 - Μέρος 2ο
::2009/03/19::
Play Video
15
The Quest for Correctness Beyond Verification
The Quest for Correctness Beyond Verification
::2013/01/29::
Play Video
16
Alan M. Turing Centennial Conference - Israel
Alan M. Turing Centennial Conference - Israel
::2012/04/25::
Play Video
17
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
::2012/04/25::
Play Video
18
Pitch de la société COTRANET au Soft Biz Day
Pitch de la société COTRANET au Soft Biz Day
::2013/12/18::
Play Video
19
Vasilis Maglaris
Vasilis Maglaris
::2014/04/06::
Play Video
20
Segenet Kelemu
Segenet Kelemu
::2014/04/06::
Play Video
21
Microsoft Research TechVista 2013 Promo
Microsoft Research TechVista 2013 Promo
::2012/12/30::
Play Video
22
Model checking: my 27-year quest to overcome the state explosion problem
Model checking: my 27-year quest to overcome the state explosion problem
::2013/01/29::
Play Video
23
Systems Architecture, Design, Engineering, and Verification
Systems Architecture, Design, Engineering, and Verification
::2013/01/17::
Play Video
24
Web Science Conference 2009:closing ceremony part3
Web Science Conference 2009:closing ceremony part3
::2009/09/24::
Play Video
25
Pitch de la société TILKEE au Soft Biz Day
Pitch de la société TILKEE au Soft Biz Day
::2013/12/18::
Play Video
26
1994 Turing Award (Raj Reddy & Ed Feigenbaum)
1994 Turing Award (Raj Reddy & Ed Feigenbaum)
::2014/03/03::
Play Video
27
sifakis
sifakis
::2009/03/11::
Play Video
28
Pitch de la société MOTWIN au Soft Biz Day
Pitch de la société MOTWIN au Soft Biz Day
::2013/12/18::
Play Video
29
inovallee_france3
inovallee_france3
::2013/03/22::
Play Video
30
Designing reality: George "Skoumas" Papanikolaou at TEDxAUEB
Designing reality: George "Skoumas" Papanikolaou at TEDxAUEB
::2013/05/14::
Play Video
31
vhta
vhta
::2009/03/11::
Play Video
32
WebSci
WebSci'09: Socio-Psychology and the Web part 1
::2009/09/26::
Play Video
33
WebSci
WebSci'09: Trust on the Web K. Rannenberg part 2
::2009/09/30::
Play Video
34
WebSci
WebSci'09: Trust on the Web part 5
::2009/09/30::
Play Video
35
WebSci
WebSci'09: Trust on the Web part 7
::2009/09/30::
Play Video
36
Web Science Conference 2009 WWWForum Lazaros Efremoglou
Web Science Conference 2009 WWWForum Lazaros Efremoglou
::2009/08/10::
Play Video
37
polyxronhs
polyxronhs
::2009/03/11::
Play Video
38
WebSci
WebSci'09: Trust on the Web part 3
::2009/09/29::
Play Video
39
WebSci
WebSci'09: Trust on the Web part 6
::2009/09/30::
Play Video
40
WebSci
WebSci'09: Poster session part 1
::2009/09/28::
Play Video
41
WebSci
WebSci'09: UIWoSC part7
::2009/09/24::
Play Video
42
For Coordination, State Component Transitions
For Coordination, State Component Transitions
::2013/12/04::
Play Video
43
WebSci
WebSci'09: UIWoSC part3
::2009/09/24::
Play Video
44
WebSci
WebSci'09: Nigel Shadbolt part 5
::2009/09/28::
Play Video
45
WebSci
WebSci'09: UIWoSC part2
::2009/09/24::
Play Video
46
WebSci
WebSci'09: UIWoSC part11
::2009/09/24::
Play Video
47
WebSci
WebSci'09: Nigel Shadbolt part 3
::2009/09/28::
Play Video
48
WebSci
WebSci'09: Noshir Contractor part 1
::2009/09/29::
Play Video
49
Web Science Conference 2009 press conference Kostantinos Koskinas
Web Science Conference 2009 press conference Kostantinos Koskinas
::2009/09/14::
Play Video
50
Grenoble-Isere software: Christian Louis (Technology Services Grenoble Director, Capgemini )
Grenoble-Isere software: Christian Louis (Technology Services Grenoble Director, Capgemini )
::2010/12/02::
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 computer scientist that holds also French citizenship,[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

Mashpedia enables any individual or company to promote their own Youtube-hosted videos or Youtube Channels, offering a simple and effective plan to get them in front of our engaged audience.

Want to learn more? Please contact us at: hello@mashpedia.com

Powered by YouTube
LEGAL
  • Mashpedia © 2014