Joseph Sifakis
Joseph Sifakis
Makakuha ng abiso kapag may bagong balita ang bida na ito
Browse by day
Sino ito?
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
Ano ang nangyari kamakailan
Walang bagong balita — nagche-check kami kada 6 oras.
'%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}