平山教育
大家一起学习
更新时间: 2026-07-16
曹子宁是南京航空航天大学计算机科学与技术学院的教授、博士生导师，主要研究方向为形式化方法和人工智能。他在软件开发过程中的需求阶段错误对系统安全性与可靠性的影响方面进行了研究，并提出了一种基于需求的形式化建模与验证方法。这项研究得到了国家重点基础研究发展计划（973计划）和航空科学基金的资助。曹子宁教授的研究成果在航空电子系统的建模与验证方面得到了应用，为开发更加安全可靠系统奠定了基础。
温馨提示：
微信扫码关注公众号
获取更多考试热门资料
