News✓ Trusted
CaoCao Makes WAIC Debut with Turing Laureate Joseph Sifakis to Explore Trustworthy Robotaxi Scaling
Joseph Sifakis
Joseph Sifakis
Get notified whenever this star has news
Browse by day
Who is this?
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης; born 26 December 1946) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
Career
- 1946Born
- 2001Won CNRS silver medal
- 2007Won Turing Award
- 2008Member of Academia Europaea
- Member of French Academy of Technologies
- Member of American Academy of Arts and Sciences
- Won Commander of the Legion of Honour
- Won Grand Officer of the National Order of Merit
- Won honorary doctor of the École polytechnique fédérale de Lausanne
Trivia
- •Place of birth: Heraklion
- •Citizenship: Greece, France
- •Known as: computer scientist, engineer, researcher
What happened recently
News✓ Trusted
Turing Award Laureate Joseph Sifakis Appointed Chief Scientific Advisor as CaoCao Accelerates AI Transformation
News✓ Trusted
CaoCao Inc. Appoints Joseph Sifakis as Chief Scientific Advisor of the CaoCao AI Innovation Center
bing-news✓ Trusted
Building trustworthy autonomous systems goes far beyond AI vision: Joseph Sifakis
bing-news✓ Trusted
‘If somebody tells you they can protect your data, it is not true’, says Turing laureate
'%2F%3E%3Ctext%20x%3D'100'%20y%3D'130'%20font-family%3D'-apple-system%2Csans-serif'%20font-size%3D'80'%20font-weight%3D'900'%20fill%3D'white'%20text-anchor%3D'middle'%3E%E9%AB%98%E5%96%84%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}
'%2F%3E%3Ctext%20x%3D'100'%20y%3D'130'%20font-family%3D'-apple-system%2Csans-serif'%20font-size%3D'80'%20font-weight%3D'900'%20fill%3D'white'%20text-anchor%3D'middle'%3EMY%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}
'%2F%3E%3Ctext%20x%3D'100'%20y%3D'130'%20font-family%3D'-apple-system%2Csans-serif'%20font-size%3D'80'%20font-weight%3D'900'%20fill%3D'white'%20text-anchor%3D'middle'%3E%ED%99%8D%ED%98%9C%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}