报告人：曹珍富

报告题目：科学研究怎样面向未来？——以可证明安全密态计算4.0的发展为例

报告摘要：本报告以可证明安全密态计算4.0为例说明科学研究怎样面向未来。具体的，从密态计算1.0、2.0、3.0到4.0，说明每个阶段面向未来时，既要突破当前瓶颈，又要“为了未来而活在当下”的坚持。尤其是，与云计算、大数据、人工智能、区块链和大模型等结合在一起的可证明安全密码理论，不只是数学上的密码，还需要结合应用需求，在“信道安全+”安全模型和应用的实时性理论上下功夫。这样，就需要解决面向未来的超越当前认知的问题。本报告试图厘清一些关系、帮助认识一些“超前”问题。同时，较详细的介绍了报告人在一些未来问题上取得的成果，尤其是近年来的新的突破。也让大家认识到，面向未来的理论常常领先于现实世界十至二十年以上。本报告体现了密码学因应用需求而产生，因应用需求而发展的理念。

报告时间：2025年 6月 28日 10:00-11:30

报告形式：理学楼609

报告人简介：曹珍富，华东师范大学软件公司（滴水湖国际软件公司）求实讲席教授，国家首批二级教授，全国首次最高人才计划（中科院青年奖励研究基金）获得者，以及后来获得的国家级青年人才和上海市领军人才计划。先后担任哈工大、上海交大等校的教授、博导，发表500余篇高水平学术论文，其中SCI检索200余篇，EI检索300余篇，总引用超过17000次。出版专著10部（包括1部CRC出版的英文专著）。主持国家自然科学基金项目（包括A3前瞻计划项目、重点项目、杰出青年基金项目5项及面上项目9项），以及科技部、教育部和铁道部等重点或优先发展项目等，获省部级以上奖励10项，包括教育部自然科学一等奖两项（第一完成人）和全国党政密码科学技术二等奖一项。曾获霍英东教育基金会青年员工奖、上海徐光启科技奖章金奖、华东地区IT英才奖、国际旗舰会议IEEE ICC最佳论文奖和中国百篇最具国际影响力的学术论文奖等。