报告题目：超任务：一种算力网架构思路（Hypertasking: An Architecture Style for Computility）

演讲摘要：在2009年的图灵奖获奖报告中，Babara Liskov提出了计算系统抽象的一个未来方向“互联网计算机”（Internet Computer）。在其观点基础上，中科院计算所进一步提出了算力网的信息高铁愿景。一个具体技术进展是借鉴WWW技术将超链接拓展到互联网的成功经验，提出超任务（Hypertasking）架构思路，有助于整合利用全球资源，将互联网变成算力网。本报告首次阐述超任务的技术内涵与实现实例，其核心是一种“单子超媒体”（monadic hypermedia）系统抽象。

讲者简介：1987年获美国南加州大学博士学位，现为中国科学院计算所研究员、大湾区大学讲席教授，Journal of Computer Science and Technology主编，《计算机研究与发展》主编，中国计算机学会会士。历任曙光信息产业有限公司总工程师，中科院计算所副所长、学术委员会主任。主要研究方向为高性能计算体系结构、分布式系统、计算思维教育。他提出了人机物三元计算等学术思想，合作撰写了《Scalable Parallel Computing》、《中国至2050信息科技路线图》等著作，以及教育部101计划核心教材《计算机科学导论——以计算思维为舟》。徐志伟的研究曾得到国家杰出青年科学基金资助，研究成果获国家科技进步奖、中国科学院杰出成就奖，中国计算机学会王选奖。曾任科技部“中国云”科技专项、中国科学院“未来信息技术”先导专项、欧盟 “网格操作系统”等重大科技项目的专家组成员，IEEE Transactions on Computers、Parallel Computing等国际期刊编委。