Share
VIDEOS 1 TO 50
Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki
Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki
Published: 2013/05/15
Channel: TEDx Talks
On the Nature of computing, by Joseph Sifakis
On the Nature of computing, by Joseph Sifakis
Published: 2017/04/21
Channel: LISA Laboratori Innovació i Suport Audiovisual, UPC
The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Joseph Sifakis
The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Joseph Sifakis
Published: 2017/04/04
Channel: Heidelberg Laureate Forum
5th HLF – Lecture: Joseph Sifakis
5th HLF – Lecture: Joseph Sifakis
Published: 2017/09/28
Channel: Heidelberg Laureate Forum
Joseph Sifakis
Joseph Sifakis
Published: 2014/04/06
Channel: Athens ICRI
4th HLF - Lecture: Joseph Sifakis
4th HLF - Lecture: Joseph Sifakis
Published: 2016/09/21
Channel: Heidelberg Laureate Forum
Systems Architecture, Design, Engineering, and Verification
Systems Architecture, Design, Engineering, and Verification
Published: 2013/01/17
Channel: Association for Computing Machinery (ACM)
"I love the Greeks. Oh, do I love the Greeks." President Trump Greek Independence Day Celebration
"I love the Greeks. Oh, do I love the Greeks." President Trump Greek Independence Day Celebration
Published: 2017/03/25
Channel: Listen Up
Model checking: my 27-year quest to overcome the state explosion problem
Model checking: my 27-year quest to overcome the state explosion problem
Published: 2013/01/29
Channel: Association for Computing Machinery (ACM)
Interview of Joseph Sifakis, 2007 Turing Award Recipient
Interview of Joseph Sifakis, 2007 Turing Award Recipient
Published: 2015/04/27
Channel: France in the US
2007 Turing Awards - Ed Clarke, Ernest Emerson, and Joseph Sifakis
2007 Turing Awards - Ed Clarke, Ernest Emerson, and Joseph Sifakis
Published: 2014/03/03
Channel: 15292-Spring2014
For Coordination, State Component Transitions
For Coordination, State Component Transitions
Published: 2013/12/04
Channel: Eclipse Foundation
Grenoble-Isere software: Joseph Sifakis, Turing price 2007  interview
Grenoble-Isere software: Joseph Sifakis, Turing price 2007 interview
Published: 2010/12/02
Channel: AEPI Grenoble
30 Greek Ideas that Changed the World
30 Greek Ideas that Changed the World
Published: 2015/06/29
Channel: The Power of Music Art
[UJF ETAPS 2014] L
[UJF ETAPS 2014] L'Internet des objets : Interview de Joseph Sifakis
Published: 2015/04/12
Channel: Black Sheep Studio
BCTCS 2015 Keynote Talk 6 - Joseph Sifakis (RiSD laboratory, EPFL) - Part II
BCTCS 2015 Keynote Talk 6 - Joseph Sifakis (RiSD laboratory, EPFL) - Part II
Published: 2015/09/22
Channel: MDXCS
Rep Your Flag Adelfloufe Edition
Rep Your Flag Adelfloufe Edition
Published: 2014/04/13
Channel: DadelHouse TV
CCC Computing Research in Action- Skin Biophysics Surgical Simulator
CCC Computing Research in Action- Skin Biophysics Surgical Simulator
Published: 2015/05/19
Channel: computingresearch
The Quest for Correctness Beyond Verification
The Quest for Correctness Beyond Verification
Published: 2013/01/29
Channel: Association for Computing Machinery (ACM)
Pavlos Sifakis - Letter To The World
Pavlos Sifakis - Letter To The World
Published: 2013/03/21
Channel: Pablo S.
Barbara Liskov, 2008 ACM Turing Award Recipient
Barbara Liskov, 2008 ACM Turing Award Recipient
Published: 2016/10/25
Channel: Association for Computing Machinery (ACM)
How to Pronounce Joseph Sifakis - PronounceNames.com
How to Pronounce Joseph Sifakis - PronounceNames.com
Published: 2013/11/13
Channel: Pronounce Names
Joseph Sifakis - Hellenic Innovation Forum 1st Conference
Joseph Sifakis - Hellenic Innovation Forum 1st Conference
Published: 2014/05/19
Channel: Hellenic Innovation Forum
BCTCS 2015 Keynote Talk 6 - Joseph Sifakis (RiSD laboratory, EPFL) - Part I
BCTCS 2015 Keynote Talk 6 - Joseph Sifakis (RiSD laboratory, EPFL) - Part I
Published: 2015/09/22
Channel: MDXCS
Prof. JOSEPH SIFAKIS
Prof. JOSEPH SIFAKIS
Published: 2009/03/19
Channel: Antonios Trifyllis
IISA 2013: Distinguished Keynote Speaker Joseph Sifakis
IISA 2013: Distinguished Keynote Speaker Joseph Sifakis
Published: 2013/07/12
Channel: Unipi Cs
How to Pronounce Sifakis - PronounceNames.com
How to Pronounce Sifakis - PronounceNames.com
Published: 2013/11/06
Channel: Pronounce Names
TUCS 20 Distinguished Lecture 24.10 2014, Joseph Sifakis
TUCS 20 Distinguished Lecture 24.10 2014, Joseph Sifakis
Published: 2014/10/29
Channel: Turku Centre for Computer Science – TUCS
Ιωσήφ Σηφάκης: Ο φόβος των κοινωνιών θα είναι «δώρο για τους τρομοκράτες
Ιωσήφ Σηφάκης: Ο φόβος των κοινωνιών θα είναι «δώρο για τους τρομοκράτες
Published: 2015/11/18
Channel: 984radio
Joseph Sifakis : L
Joseph Sifakis : L'accélération de la convergence technologique, une révolution à ne pas rater
Published: 2013/12/19
Channel: Minalogic
Joseph Sifakis @ websci09
Joseph Sifakis @ websci09
Published: 2009/03/20
Channel: thepap
Joseph Sifakis - "From Programs to Real-Life Systems: Building a Smarter World"
Joseph Sifakis - "From Programs to Real-Life Systems: Building a Smarter World"
Published: 2014/07/08
Channel: IMT Lucca
MBSE Colloquium: Anastasia Mavridou, "Modeling Architecture Styles"
MBSE Colloquium: Anastasia Mavridou, "Modeling Architecture Styles"
Published: 2017/05/12
Channel: ISR UMD
Linking natural and artificial intelligence (Joseph Sifakis and Pietro Pietrini)
Linking natural and artificial intelligence (Joseph Sifakis and Pietro Pietrini)
Published: 2016/12/23
Channel: IMT Lucca
Web Science Conference 2009 press conference Joseph Sifakis
Web Science Conference 2009 press conference Joseph Sifakis
Published: 2009/09/14
Channel: webscienceGR
Web Science Conference 2009 WWWForum Joseph Sifakis part3
Web Science Conference 2009 WWWForum Joseph Sifakis part3
Published: 2009/08/10
Channel: webscienceGR
Microsoft Research TechVista 2013 Promo
Microsoft Research TechVista 2013 Promo
Published: 2012/12/30
Channel: Amar Zeno
sifakis
sifakis
Published: 2009/07/23
Channel: athleticradio
Ο οραματιστής της Πληροφορικής Ιωσήφ Σηφάκης
Ο οραματιστής της Πληροφορικής Ιωσήφ Σηφάκης
Published: 2014/06/04
Channel: EllinesTV
sifakis
sifakis
Published: 2009/03/11
Channel: webscienceGR
Συναντήσεις Κορυφής στο cafe του ΙΑΝΟΥ | Λάκης Προγκίδης
Συναντήσεις Κορυφής στο cafe του ΙΑΝΟΥ | Λάκης Προγκίδης
Published: 2017/06/19
Channel: IANOS
CYBC, 1 June 09, Prof. Sifakis interview on
CYBC, 1 June 09, Prof. Sifakis interview on 'Apo Mera Se Mera'
Published: 2009/07/03
Channel: The Cyprus Institute
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
Published: 2012/04/25
Channel: GoogleTechTalks
The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Alan Kay
The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Alan Kay
Published: 2017/04/04
Channel: Heidelberg Laureate Forum
Skewed & Reviewed iPad Application
Skewed & Reviewed iPad Application
Published: 2010/10/23
Channel: verimagllc
Systems Architecture, Design, Engineering, and Verification
Systems Architecture, Design, Engineering, and Verification
Published: 2016/11/19
Channel: Christine Mclaughlin
RNR Grilog - Persyval Lab - VERIMAG KALRAY
RNR Grilog - Persyval Lab - VERIMAG KALRAY
Published: 2013/06/18
Channel: Le Clust'R
Cyber Physical Systems Workshop at the 4th Heidelberg Laureate Forum 2016
Cyber Physical Systems Workshop at the 4th Heidelberg Laureate Forum 2016
Published: 2017/03/10
Channel: PahlDE
[UJF ETAPS 2014] L
[UJF ETAPS 2014] L'Internet des objets : Interview de Janos Sztipanovits
Published: 2015/04/12
Channel: Black Sheep Studio
Ο Νομπελίστας καθηγητής Ιωσήφ Σηφάκης στο Τώρα ό,τι Συμβαίνει με τη Φαίη Μαυραγάνη (9/7/17)
Ο Νομπελίστας καθηγητής Ιωσήφ Σηφάκης στο Τώρα ό,τι Συμβαίνει με τη Φαίη Μαυραγάνη (9/7/17)
Published: 2017/07/10
Channel: Καθαρή Δύναμη 3
NEXT
GO TO RESULTS [51 .. 100]

WIKIPEDIA ARTICLE

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Joseph Sifakis
Joseph Sifakis img 0966.jpg
Born December 26, 1946 (1946-12-26) (age 70)
Heraklion, Crete, Greece
Citizenship Greek/French
Alma mater National Technical University of Athens
University of Grenoble
Known for Development of Model-Checking
Awards Turing Award (2007)
Commandeur de la Légion d'honneur
Grand officier de l'ordre national du Mérite
Médaille d'argent du CNRS
Scientific career
Fields Computer science
Institutions CNRS

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek computer scientist with 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) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής Archived 7 February 2008 at the Wayback Machine. (in Greek)
  3. ^ (Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή Archived 16 July 2011 at the Wayback Machine. (in 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 (in 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]

Disclaimer

None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.

All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.

The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.

Powered by YouTube
Wikipedia content is licensed under the GFDL and (CC) license