Yongwang ZHAO's Homepage

Home Activities

学术活动 Professional Activities

[2025-11-29] 应邀在2025年中国软件大会(ChinaSoft 2025)的“国产操作系统的未来发展路径”论坛，做特邀报告《操作系统形式化验证：现状与挑战》。
[2025-11-28] 作为发起人和组织者，在2025年中国软件大会(ChinaSoft 2025)举办第一届定理证明竞赛。(详见新闻)
[2025-11-28] 应邀在2025年中国软件大会(ChinaSoft 2025)的“安全攸关软件的智能开发与验证”论坛，做特邀报告《AI赋能的形式化验证技术探索》。
[2025-11-13] Keynote Speaking, "TRust2: Towards Formally Verified Toolchain of Rust Language in Isabelle/HOL", The 26th International Conference on Formal Engineering Methods(ICFEM 2025), Hangzhou, China, November 11-13, 2025. (详见主页)
[2025-07-30~31] 受邀参加CCF软件工程创新与青年发展论坛，并做引导发言《自动程序定理证明》，代表CCF软件工程专委会发布AI时代软件工程难题与挑战。(详见新闻)
[2025-07-18~20] 受邀参加第三十期 CCF 秀湖会议“安全可信编程语言：理论、技术与生态”，并做观点报告《面向Rust生态的形式化验证技术探索与思考》。(详见新闻)
[2025-07-17] 受邀在 25th International Conference on Software Quality, Reliability and Security作为全会Panel嘉宾，参加Plenary Panel II: Software Safety and Reliability in the Age of AI: Challenges, Solutions, and Future Directions作报告。(详见官网)
[2025-07-11] 组织并主持CCF走进望安科技|“智领未来”形式化方法产业应用研讨会。(详见新闻)
[2024-11-30] 受邀参加教育部2024国际产学研用合作会议 - 滴水湖可信工业软件国际论坛，并做主题报告《关键软硬件的形式化验证与高安全认证》。
[2024-11-23] 受邀参加鸿蒙生态大会 HEC 2024，并做主题报告《鸿蒙生态高等级安全认证技术及应用》。
[2024-08-09 ~ 12] 受邀参加中国计算机学会(CCF)秀湖论坛，并做主题报告《操作系统形式化验证的一些实践和下一步思考》。(详见新闻)
[2024-08-01] 在"2024华为形式化方法研讨会-智能时代下的形式化验证技术"做主题报告《CC信息安全认证的形式化方法——GPTEE PP标准的形式化建模与验证》。(详见华为黄大年茶思屋视频回放)
[2024-07-06] 在2024 ACM中国图灵大会 “泛在智能操作系统”论坛做主题报告《操作系统形式化验证：技术、工具与应用》。(详见官网)
[2024-05-28] 在国防科学技大学麒麟讲堂作报告《CC信息安全高等级认证及形式化方法》。
[2024-05-16] 华为“磐石大师汇” 第六期：CC信息安全高等级认证及形式化方法，给华为可信理论、技术与工程实验室做专题讲座。
[2024-01-17] 为中国工程物理研究院做形式化方法技术讲座。
[2023-12-02] 应邀在2023 “航天软件行业自主创新发展”主题专家论坛 (中国载人航天工程软件工程和数字化技术发展与管理中心举办)，做特邀报告《关键软硬件的形式化验证与高安全级认证》。
[2023-12-02] 作为论坛主席，召集并组织2023年中国软件大会(ChinaSoft 2023)的“形式化方法教育”论坛，并获得大会优秀论坛。(详见新闻)
[2023-12-01] 应邀在2023年中国软件大会(ChinaSoft 2023)的“安全攸关软件的智能化开发方法”论坛，做特邀报告《安全攸关软件形式化验证工具探索》。
[2023-11-15] 在南京航空航天大学计算机科学与技术学院/软件学院做学术报告《区块链智能合约形式化验证技术》。
[2023-10-27] 应邀在2023操作系统标准与应用大会，做特邀报告《嵌入式操作系统研发和标准建设的思考》。(详见新闻)
[2023-10-26] 担任论坛主席：中国计算机大会(CNCC 2023) - “电力操作系统关键技术与应用” 论坛。并做主题报告。 (详见主页)
[2023-08-04] 应邀在华为第四届ICT软件技术大会，做特邀报告《操作系统形式验证与安全认证》。
[2023-07-13] 应邀在2023 CCF自主可控计算机大会，做主题报告《操作系统高安全级认证技术与应用》。
[2023-06-02] 应邀在2023网络空间安全大会，做主题报告《智能合约形式化验证技术》(详见主页)。
[2023-02-25] 应邀在OpenHarmony技术峰会，做主题报告《操作系统形式验证与安全认证》(详见主页)。

[2022-12-17] 应邀在第四届国产嵌入式操作系统技术与产业发展论坛，做主题报告《操作系统的安全认证》(详见主页)。
[2022-12-09] 应邀在中国计算机大会(CNCC 2022)的“计算机软硬件系统安全性形式化验证”论坛，做学术报告《系统安全形式化验证：从交互式到自动化》(详见主页)。
[2022-12-06] 为中车株洲电力机车研究所做形式化方法讲座。
[2022-11-25] 担任论坛主席：CCF中国软件大会(ChinaSoft 2022)“约束求解与定理证明”技术论坛，并组织软件学报论文专刊。详见(会议官网)和(软件学报征文)。
[2022-11-18] 首都师范大学信息工程学院建院二十周年系列学术报告。
[2022-11-17] 为vivo公司 (https://www.vivo.com.cn/) 做形式化方法讲座。
[2022-11-12] 应邀在中国计算机学会(CCF)学科前沿讲习班ADL 133期-安全系统软件，做学术讲座《并发反应式系统形式化验证：理论技术与工具案例》(详见主页)。
[2022-07-13] 计算机科学前沿技术发展与应用研讨会（浙江工业大学）做学术报告。
[2022-03-31] 为小米移动 (https://www.mi.com/) 做形式化方法讲座。
[2022-03-15] 为理想汽车 (https://www.lixiang.com/) 做形式化方法讲座。
[2021-12-26] 第九届开源操作系统年度技术会议（OS2ATC 2021），学术报告《操作系统形式化验证：现状、应用与挑战》 (详见主页)
[2021-12-25] 中国软件大会(ChinaSoft 2021) 形式化方法教育论坛，学术报告《形式化方法教育的一些实践与想法》 (详见主页)
[2021-12-24] 担任论坛主席：中国软件大会(ChinaSoft 2021) - “定理证明理论与应用” 技术论坛 (详见主页)
[2021-12-16] 担任论坛主席：中国计算机大会(CNCC 2021) - “安全攸关软件设计与验证：技术前沿与工业应用” 技术论坛 (详见主页)
[2021-12-17] 担任论坛共同主席：中国计算机大会(CNCC 2021) - “安全程序设计语言” 技术论坛 (详见主页)
[2021-12-06] 作为会议发起者，在中国电子技术标准化研究院和浙江大学联合主办下，筹划并组织《嵌入式操作系统标准研讨会》。
[2021-10-12] 第二届中国航空机载高峰论坛，特邀报告《航空机载软件形式化验证：现状与展望》
[2021-07-31] 中国图灵大会高可信软件技术论坛，特邀报告《操作系统形式化验证技术》(详见微信)
[2021-07-25] 安全程序设计语言研讨会，学术报告《程序验证及编程语言研究》
[2021-06-24] 中国军事科学院，学术讲座《CC安全评估标准及形式化验证》
[2021-05-09] 2021全国大学生计算机系统能力大赛-操作系统设计大赛，特邀报告《操作系统正确性及其验证技术》(详见主页)
[2021-04-29] 北京广利核系统工程有限公司，技术讲座《操作系统形式化验证技术与应用》
[2021-04-27] 智能嵌入式软件学术研讨会，特邀报告《系统安全形式化验证：现状与展望》
[2021-01-30] 载人航天软件工程未来发展专家研讨会，特邀报告《形式化验证：现状与展望》
[2021-01-05] 南京航空航天大学线上学术报告《并发反应式系统组合验证：框架、语言集成及应用》
[2020-12-31] 航天一院，技术讲座《形式化方法：概念、技术与应用》
[2020-12-19] 智能工厂与场景操作系统研讨会，特邀报告《ARINC653操作系统标准研发与验证》
[2020-12-16] 上海交通大学 John Hopcroft中心系列讲座，学术报告《并发反应式系统组合验证：框架、语言集成及应用》
[2020-12-15] 华东师范大学线上学术报告《操作系统并发内存管理的形式化验证》
[2020-11-27] 浙江理工大学，学术报告《操作系统安全形式化验证技术与应用》
[2020-11-25] Keynote Speaking, "Rely-guarantee Reasoning about Concurrent Reactive Systems: Framework, Languages Integration and Applications", The 6th Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2020), Guangzhou, China, November 24-28, 2020. (详见主页)
[2020-11-24] 中国电子技术标准化研究院，技术讲座《高安全软件的认证标准及验证技术》
[2020-11-21] 中国软件大会ChinaSoft2020 -- 系统软件安全技术论坛，特邀报告《操作系统安全形式化验证技术与应用》
[2020-10-24] 中国计算机大会CNCC2020 -- 形式化方法实践论坛，特邀报告《安全攸关操作系统形式化验证-技术与应用实践》
[2020-10-23] 中国科学院信息工程研究所，学术报告《安全攸关操作系统形式化验证-技术与应用实践》
[2020-10-16] 中国计算机学会(CCF) 软件前沿进展线上系列讲座，学术讲座《操作系统并发内存管理的形式化验证》
[2020-09-16] 大唐电信数据通信科学技术研究所，学术报告《形式化方法：概念、技术与应用》
[2020-08-11] 浙江大学网络空间安全暑期学校，学术讲座《安全关键软件形式化方法：概念、技术与应用》
[2020-06-22] 中国计算机学会(CCF) 新基建安全技术系列讲座，学术讲座《安全关键软件形式化方法：概念、技术与应用》
[2020-05] 在软件学报担任《系统软件构造与验证技术》专刊编委，专刊正式出版 (详见软件学报专刊)
[2019-11-30] 全国形式化方法与应用会议青年学者论坛(YR-FMAC 2019)，特邀报告《一种并发反应式系统组合验证的方法、实现及应用》
[2019-11-26] 中国航天科技集团有限公司高可靠软件开发与验证技术研讨会，特邀报告《航天安全关键软件形式化验证技术与应用》
[2019-11-22] 担任论坛主席：全国软件与应用学术会议(NASAC 2019) - 系统软件构造与验证技术论坛
[2019-07-20] 2019中国核心技术创新发展峰会，特邀报告《ARINC653操作系统验证与认证》
[2019-07-12] 2019中国密码学会密码测评学术会议，特邀报告《形式化验证与安全认证技术》
[2019-06-01] 中国软件分析与验证研讨会(SAVE 2019)，特邀报告《Zephyr物联网操作系统并发内存管理的形式化验证》
[2019-04-25] 蚂蚁金服大安全科研基金学者面对面，学术讲座《形式化方法：概念、技术与应用》
[2018-10-14] 中国Linux内核开发者大会，特邀报告《并发式伙伴内存管理C代码的形式验证》
[2018-09-15] 中国软件工程研究与产业峰会，特邀报告《物联网操作系统：形式验证与安全认证》
[2018-08-07] 中国网络安全年会CNCERT，特邀报告《物联网操作系统：形式验证与安全认证》(详见 微信公众号文章)
[2018-05-26] 中国软件分析与验证研讨会(SAVE 2018)，特邀报告《ARINC653标准应用及分析验证》
[2018-03-21] 北京大学数学科学学院，学术报告《安全攸关操作系统的形式化验证》
[2017-11-24] Invitied Talk, School of Computer Science and Engineering at Nanyang Technological University, Singapore, "Refinement-based Security Analysis of Separation Kernels"
[2017-09-06] 中国计算机学会(CCF)启智会，特邀报告《欧洲形式化数学项目》
[2017-03-26] 国产操作系统创新应用研讨会，特邀报告《安全攸关操作系统及形式验证技术》
[2016-12-13] 南京航空航天大学学术报告，《符合工业标准的操作系统内核形式规约与安全分析》
[2016-12-12] 中国计算机学会(CCF)系统软件专委会学术报告，《符合工业标准的操作系统内核形式规约与安全分析》
[2016-12-09] 载人航天软件工程技术交流会，特邀报告《安全攸关操作系统内核形式验证技术》
[2016-11-27] 北京大学信息科学理论研究前沿论坛，特邀报告《符合工业标准的操作系统内核形式规约与安全分析》
[2016-11-03] 全国软件与应用学术会议(NASAC 2016)软件验证学组讨论会，特邀报告《操作系统隔离内核的形式规约与安全分析》

展开更多+

学术任职 Professional Experience

2022年12月 - 至今，浙江省天目山实验室第一届理事会理事
2018 - present, Member of OS Separation Kernel Technical Committee under Common Criteria for Information Technology Security Evaluation [国际信息技术安全评估委员会(Common Criteria, CC) - 操作系统内核技术委员会(SK TC) 委员]
2018 - present, Member of Hypervisor Technical Committee under Common Criteria for Information Technology Security Evaluation [国际信息技术安全评估委员会(Common Criteria, CC) - 虚拟化技术委员会委员]
2017 - present, Member of ARINC653 Standard Commitee [国际ARINC653实时操作系统标准委员会委员]
2016 - present, Member of CCF Task Force on Formal methods [中国计算机学会形式化方法专业组委员]
2017 - present, Member of CCF Technical Committee on System Software [中国计算机学会系统软件专业委员会委员]
2021/09 - present, 浙江省网络空间安全协会工业互联网安全专业委员会副主任
2021/08 - present, Distinguished Membership of China Computer Federation(CCF) [中国计算机学会杰出会员]
2013 - 2021/08, Senior Member of China Computer Federation(CCF) [中国计算机学会高级会员]
2015 - 2016, Senior Research Fellow, Nanyang Technological University, Singapore [新加坡南洋理工大学高级研究员]
2013, Visiting Researcher of IRIT [法国图卢兹计算机信息研究所(IRIT) 访问学者]
2010 - present, Member of CCF YOCSEF Committee [中国计算机学会 YOCSEF委员]
2010 - 2013, Convener of 12207-SOA Study Group under ISO/IEC JTC1 SC7/WG7 [国际标准化组织 ISO/IEC JTC1 SC7/WG7 SOA研究组组长]
2009 - present, Member of SOA subcommittee under China National Information Technology Standardization Committee [全国信息技术标准化技术委员会 SOA 分技术委员会专家]
2007, Visiting researcher of INRIA Sophia Antipolis [法国自动化所(INRIA) 访问学者]

会议程序委员会 Program Committee Member

TASE 2023/2021, ICFEM 2023, SETTA 2023, PROOFS 2021/2020, 全国形式化方法与应用会议 FMAC 2016/2017/2018/2019, 中国软件大会 ChinaSoft 2020/2021/2022, ISORC 2015/2016, ForMABS 2016, ACM SAC 2015 - OS Track, 中国计算机大会CNCC 2014, SafeMOVE 2013 ...

期刊评阅人 Journal Reviewer

IEEE Transactions on Software Engineering, IEEE Transactions on Information Forensics and Security, IEEE Transactions on Reliability, IEEE Transactions on Automation Science and Engieering, The Computer Journal, Computers & Security, Concurrency and Computation: Practice and Experience, Acta Informatica, Journal of Logical and Algebraic Methods in Programming, Journal of Computer Science and Technology, SCIENCE CHINA Information Sciences, International Journal of Software Engineering and Knowledge Engineering, Frontiers of Computer Science, Journal of Systems Architecture, IET Computer & Digital Techniques, 计算机学报, 软件学报, ...