11月24日上午，模型检查（Model-Checking）理论奠基人之一，2007年获得世界计算机科学领域最高奖项图灵奖的JosephSifakis教授在深圳2011中国计算机大会作了题为《计算机科学的愿景》报告。

    JosephSifakis重点介绍了计算机科学的发展，“计算机学科的基础正变革为计算机系统设计”，他认为，计算机系统的设计要综合考虑内外部系统的情况。而且需要通过实践过程中通过控制的方法对于系统做出不断的自我修正，让系统做到人性化、智能化，这也是与以往的人工智能的固有化、模式化所不同。

    会后，JosephSifakis接受记者的采访认为，“因特网已经开始向嵌入式系统演变”。JosephSifaki作为欧洲“卓越网络”（NetworkofExcellence）嵌入式系统设计研究联盟«ARTIST2EmbeddedSystemsDesign»的技术协调人，主要对35个欧洲研究小组的研究进行协调，以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。