2019/11/13-17 深圳會展中心
搜索
大會日程 中國高新技術論壇 演講嘉賓
更多+
約瑟夫.斯發基斯

  姓名: 

  約瑟夫.斯發基斯

  職務: 

  2007年圖靈獎得主,美國國家工程院院士、歐洲科學院院士、法國科學院院士 

  簡歷: 

  約瑟夫.斯發基斯于19461226日出生于希臘克里特島,是法國計算機科學家,于2007年獲得計算機科學的最高榮譽——圖靈獎。 

  斯發基斯1969年在雅典國立技術大學獲得電子工程學士學位,并分別于1972年和1974年在法國格勒諾布爾第一大學獲得計算機科學碩士學位和博士工程師學位。1979年,他獲得了格勒諾布爾國立綜合理工學院的計算機科學專業的博士學位。1993年,斯發基斯成為了國家科學研究中心的研究主任和Verimag實驗室的創始人。Verimag實驗室是法國格埃的學術研究實驗室,隸屬于法國國家科學研究中心和格勒諾布爾第一大學。2008年,斯發基斯成為格勒諾布爾法國國家自動化研究所智能車載系統的新研究主席。 

  2007年,斯發基斯、埃德蒙·克拉克和歐內斯特·艾倫·愛默生因他們1981年在模型檢查軟件上的成就而獲得圖靈獎,這一軟件被用于自動檢測順序電路中的設計和軟件中的邏輯錯誤。 

 

2019最新网赚器 网赚平台哪个赚钱快点 南方彩票 上网赚钱真假 网赚导师是真的假的 有什么好的网赚项目 贵州快3 19年注册网赚项目 网赚学院是真的吗 中文点击网赚新手入门