11月24日上午，模型檢查（Model-Checking）理論奠基人之一，2007年獲得世界計算機科學領域最高獎項圖靈獎的JosephSifakis教授在深圳2011中國計算機大會作了題為《計算機科學的愿景》報告。

JosephSifakis重點介紹了計算機科學的發(fā)展，“計算機學科的基礎正變革為計算機系統(tǒng)設計”，他認為，計算機系統(tǒng)的設計要綜合考慮內(nèi)外部系統(tǒng)的情況。而且需要通過實踐過程中通過控制的方法對于系統(tǒng)做出不斷的自我修正，讓系統(tǒng)做到人性化、智能化，這也是與以往的人工智能的固有化、模式化所不同。

會后，JosephSifakis接受記者的采訪認為，“因特網(wǎng)已經(jīng)開始向嵌入式系統(tǒng)演變”。JosephSifaki作為歐洲“卓越網(wǎng)絡”（NetworkofExcellence）嵌入式系統(tǒng)設計研究聯(lián)盟«ARTIST2EmbeddedSystemsDesign»的技術協(xié)調(diào)人，主要對35個歐洲研究小組的研究進行協(xié)調(diào)，以便對用于具有高性能和高可靠性的嵌入式系統(tǒng)設計的理論和實際應用成果進行開發(fā)。