Joseph Sifakis

누구인가요?

Joseph Sifakis(그리스어: ΙΩσήph Στάκις, 1946년 12월 26일 출생)는 그리스계 프랑스인 컴퓨터 과학자입니다. 그는 모델 검사에 대한 연구로 Edmund M. Clarke 및 E. Allen Emerson과 함께 2007년 Turing Award를 수상했습니다.

주요 이력

1. 1946
   Born
2. 2001
   Won CNRS silver medal
3. 2007
   Won Turing Award
4. 2008
   Member of Academia Europaea
5. Member of French Academy of Technologies
6. Member of American Academy of Arts and Sciences
7. Won Commander of the Legion of Honour
8. Won Grand Officer of the National Order of Merit
9. Won honorary doctor of the École polytechnique fédérale de Lausanne

흥미로운 사실

• •Place of birth: Heraklion
• •Citizenship: Greece, France
• •Known as: computer scientist, engineer, researcher