2022年10月18日（周二）晚19:30-21:00,南京大学校友终身学习辅助计划（“诚计划”第23期《可信软件漫谈：软件可信吗？》，将在南京大学“暾学堂”开讲，本次讲座邀请到的是中国计算机学会软件工程专业委员会主任、国务院学位委员会软件工程学科评议组成员、南京大学李宣东教授。李老师是软件工程、可信软件、形式化方法等领域的专家，研究工作受到国家杰出青年科学基金的资助，成果获国家科技进步二等奖。
基于软件的 络化信息传递和处理，已经成为现代 会的一个特征模式。随着 会和科技的发展，5G的问世、智能技术的开创、加上传感技术的进入， 络的应用范围不仅逐渐扩大，进而创造了一个虚拟的生态环境，除了原有的 交、信息传播之外，传统的工作学习、日常的衣食住行，都在纷纷通过 络来实现，而实现这些应用的“硬核”，就是软件。软件正在定义整个世界。
软件可靠性是高质量应用和高效率 络的基础。运行在我们身边的各种各样软件系统是否可靠，作为软件工程的顶尖专家，李宣东教授将带领我们揭秘这一问题，敬请关注。
南京大学“暾学堂”计划
后续演讲
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！