直播预告
23
“诚计划”第23期
李宣东教授主讲
“可信软件漫谈：软件可信吗？”
2022年10月18日（周二）晚19:30-21:00,南京大学校友终身学习辅助计划（“诚计划”第23期《可信软件漫谈：软件可信吗？》，将在南京大学“暾学堂”开讲，本次讲座邀请到的是中国计算机学会软件工程专业委员会主任、国务院学位委员会软件工程学科评议组成员、南京大学李宣东教授。李老师是软件工程、可信软件、形式化方法等领域的专家，研究工作受到国家杰出青年科学基金的资助，成果获国家科技进步二等奖。
基于软件的 络化信息传递和处理，已经成为现代 会的一个特征模式。随着 会和科技的发展，5G的问世、智能技术的开创、加上传感技术的进入， 络的应用范围不仅逐渐扩大，进而创造了一个虚拟的生态环境，除了原有的 交、信息传播之外，传统的工作学习、日常的衣食住行，都在纷纷通过 络来实现，而实现这些应用的“硬核”，就是软件。软件正在定义整个世界。
软件可靠性是高质量应用和高效率 络的基础。运行在我们身边的各种各样软件系统是否可靠，作为软件工程的顶尖专家，李宣东教授将带领我们揭秘这一问题，敬请关注。
往期推荐
“诚计划”第22期|刘志彪教授主讲“以全国统一大市场为基础，构建国内市场主导的新发展格局”
“诚计划”第21期| 毕军教授主讲“美丽中国之路解读”
“诚计划”第20期|许结教授主讲“老子人生哲学与智慧”
“城计划”第19期| 夏维中教授主讲“明初南京的伟大贡献”
“诚计划”第18期|胡阿祥教授主讲“行走南京，品味金陵”
“诚计划”第17期|王月清教授主讲“中华文化与南大精神传统”
“城计划”第16期|洪修平教授主讲“中国传统思想文化的底蕴与特质——以儒、道、佛三教为中心”
“诚计划”第14期|秦厚荣教授主讲“从《几何原本》谈起”
“诚计划”第13期|李满春教授主讲“地理大数据与现代生活”
“诚计划”第12期|徐兴无教授主讲“李瑞清和胡小石在书法史上的意义”
“诚计划”第11期|王运来教授主讲“南京大学高大上”
“诚计划”第10期|严强教授主讲“全过程民主与整体国家民主治理”
“诚计划”第9期|周宪教授主讲“从跨文化视角看文化差异”
“诚计划”第8期|李向东教授主讲“宇宙人生——天文学视角下的生命观”
“诚计划”第7期|周晓虹教授主讲“人生幸福的八大定律 ”
“诚计划”第6期|郭子建教授主讲“学科交叉融合与化生医药前沿”
“诚计划”第5期|洪银兴教授主讲“准确把握实现共同富裕的内涵和实践路径”
“诚计划”第4期|徐小跃教授主讲“国学与人文素养 ”
“诚计划”第3期|贺云翱教授主讲“考古学特征及若干前沿问题”
“诚计划”第2期|沈树忠教授主讲“从地球历史重大气候和生物演变事件看当今全球变化的影响”
“诚计划”第1期|莫砺锋教授主讲“读书与人生”
供稿：钱艳
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！