約瑟夫·斯發基斯（Joseph Sifakis）
“我們什麼時候會有完全自動駕駛的汽車？這將會是計算機向著接近人類智能所邁進的一大步。”10月29日，2007年度圖靈獎得主、國際嵌入式系統研究中心Verimag實驗室創始人約瑟夫·斯發基斯（Joseph Sifakis）在上海出席第二屆世界頂尖科學家論壇之際提出了這一疑問。
不同於技術樂觀主義者的觀點，斯發基斯對澎湃新聞（www.thepaper.cn）表示，以上海這樣的大型城市為例，自動駕駛汽車和人類駕駛汽車共同行駛在城市各個角落的情形在40年內都不會發生，“也許只行駛自動駕駛汽車而非兩者混合是一種更現實的情況。”
今年73歲的約瑟夫·斯發基斯與世界上第一臺通用計算機同齡。
1946年，斯發基斯出生在希臘克里特島的伊拉克利翁，大西洋另一邊，世界上第一臺通用計算機“ENIAC”在美國賓夕法尼亞大學誕生。
斯發基斯的研究興趣首先體現在電氣工程，並於1969年獲得雅典國立技術大學的電子工程學士學位。後來，他又對物理產生了興趣。
“之後”，斯發基斯向澎湃新聞記者回憶，“我遇到了一臺計算機，然後我‘陷入了愛情’”。
在選擇畢生工作領域的過程中，斯發基斯始終聽從著內心，就像他在採訪中對青年學者提出的建議：做自己喜歡做的事，首先在工作和生活中享受樂趣，有一個夢想，跟著這個夢想走，確保每天都學到更多的東西。
“不要被事業驅動、為之困擾，在你的領域裡表現出色，然後金錢和社會的認可會隨之到來。”
20世紀70年代，約瑟夫·斯發基斯正式進入了計算機科學領域，相繼獲得計算機科學碩士學位和博士學位。
“當時沒有人會想象到計算機會在今天扮演這樣的角色”，斯發基斯稱，那時計算機科學是一門非常小的學科，“服務於數學分支或其他的電氣工程分支”，“但現在它是一個巨大的知識領域，所有的學科都與之有關”。
2008年2月，因在模型檢查方面的工作，約瑟夫·斯發基斯與愛德蒙·克拉克和艾倫·愛默生共同獲得了2007年度圖靈獎。他也是第一位榮獲圖靈獎的法國研究人員。
斯發基斯的研究工作引導出了新的軟件規範的創建、新的檢測算法以及傑出的理論結果。這項技術今天被應用於集成電路工業中以便設計複雜的系統並能夠使其保證符合預設的規範。模型檢查在嵌入式處理器和關鍵系統方面的產業影響在未來的幾年裡將會更加顯著。
閱讀更多 精銳車評評評 的文章
