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

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

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