Professor Joseph Sifakis is Emeritus Research Director of Verimag laboratory, Grenoble, France. His current research interests include fundamental and applied aspects of autonomous system design focusing on self-driving cars.A full professor at the Ecole Polytechnique Fédérale de Lausanne (EPFL) from 2011 to 2016, he is the founder of Verimag, a leading laboratory in the area of safety-critical systems, which he has directed for 13 years.In 2007, together with Edmund Clarke and Allen Emerson, Joseph Sifakis received the Turing Award, recognized as the “highest distinction in computer science”, for his contributions to the theory and application of model checking, the most widely used system verification technique.  Joseph Sifakis is a member of the French Academy of Sciences, the French National Academy of Engineering, Academia Europaea, the American Academy of Arts and Sciences, the National Academy of Engineering and the Chinese Academy of Sciences. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor, and a Commander of the Greek Order of the Phoenix. He received the Leonardo da Vinci Medal in 2012.

Select Guide Rating

• 1. Introduction.- Part I For a Gnoseological View of the World.- 2. Fundamental Questions about Knowledge.- 3. Information and Knowledge.- 4. The Development and Application of Knowledge.- Part II Computing, Knowledge and Intelligence.- 5. Physical Phenomena and Computational Processes.- 6. Human vs Artificial Intelligence.- Part III Consciousness and Society.- 7. Consciousness.- 8. Value Systems and Society.- 9. Epilogue.- Index.

Professor Joseph Sifakis is Emeritus Research Director of Verimag laboratory, Grenoble, France. His current research interests include fundamental and applied aspects of autonomous system design focusing on self-driving cars.A full professor at the Ecole Polytechnique Fédérale de Lausanne (EPFL) from 2011 to 2016, he is the founder of Verimag, a leading laboratory in the area of safety-critical systems, which he has directed for 13 years.In 2007, together with Edmund Clarke and Allen Emerson, Joseph Sifakis received the Turing Award, recognized as the “highest distinction in computer science”, for his contributions to the theory and application of model checking, the most widely used system verification technique.  Joseph Sifakis is a member of the French Academy of Sciences, the French National Academy of Engineering, Academia Europaea, the American Academy of Arts and Sciences, the National Academy of Engineering and the Chinese Academy of Sciences. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor, and a Commander of the Greek Order of the Phoenix. He received the Leonardo da Vinci Medal in 2012.

Select Guide Rating

• 1. Introduction.- Part I For a Gnoseological View of the World.- 2. Fundamental Questions about Knowledge.- 3. Information and Knowledge.- 4. The Development and Application of Knowledge.- Part II Computing, Knowledge and Intelligence.- 5. Physical Phenomena and Computational Processes.- 6. Human vs Artificial Intelligence.- Part III Consciousness and Society.- 7. Consciousness.- 8. Value Systems and Society.- 9. Epilogue.- Index.

Professor Joseph Sifakis is Emeritus Research Director of Verimag laboratory, Grenoble, France. His current research interests include fundamental and applied aspects of autonomous system design focusing on self-driving cars.A full professor at the Ecole Polytechnique Fédérale de Lausanne (EPFL) from 2011 to 2016, he is the founder of Verimag, a leading laboratory in the area of safety-critical systems, which he has directed for 13 years.In 2007, together with Edmund Clarke and Allen Emerson, Joseph Sifakis received the Turing Award, recognized as the “highest distinction in computer science”, for his contributions to the theory and application of model checking, the most widely used system verification technique.  Joseph Sifakis is a member of the French Academy of Sciences, the French National Academy of Engineering, Academia Europaea, the American Academy of Arts and Sciences, the National Academy of Engineering and the Chinese Academy of Sciences. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor, and a Commander of the Greek Order of the Phoenix. He received the Leonardo da Vinci Medal in 2012.

Select Guide Rating

• 1. Introduction.- Part I For a Gnoseological View of the World.- 2. Fundamental Questions about Knowledge.- 3. Information and Knowledge.- 4. The Development and Application of Knowledge.- Part II Computing, Knowledge and Intelligence.- 5. Physical Phenomena and Computational Processes.- 6. Human vs Artificial Intelligence.- Part III Consciousness and Society.- 7. Consciousness.- 8. Value Systems and Society.- 9. Epilogue.- Index.