清华新闻网10月28日电 近日，清华大学计算机学科高端战略研讨专家特邀报告会通过线上线下相结合的方式举行。图灵奖获奖者、清华大学计算机学科顾问委员会外籍委员约瑟夫·斯发基斯（Joseph Sifakis），清华大学计算机学科高端战略研讨专家、中国科学院院士王小云，中国工程院院士陈左宁应邀作主题演讲。

约瑟夫·斯发基斯作报告

约瑟夫·斯发基斯作题为“人工智能与自动化系统”（Artificial Intelligence and Autonomous Systems）的学术报告，并就通用人工智能、智能产生的方式、知识与模型的结合、跨模态知识的学习等四个方面的问题与师生们展开深入讨论。王小云院士作题为“密码技术与区块链”的学术报告，详细地为大家介绍了区块链技术是如何利用密码学原理保障安全并实现相关电子支付的应用。陈左宁院士作题为“有关AI For HPC的几点思考”的学术报告，报告主要介绍了AI For HPC的范式、典型大规模应用和云边实践等内容。

清华大学计算机学科高端战略研讨专家特邀报告会旨在通过邀请从事国际前沿研究的知名专家学者作专题学术报告，增强计算机学科师生与专家学者的交流，促进清华大学计算机学科的发展。

计算机科学与技术系相关负责人和师生代表近700余人参加了此次活动。

供稿：计算机系

编辑：陈晓艳

审核：郭玲