全站数据
9 6 1 5 2 8 3

南航大学曹子宁怎么样

简单工程师 | 教育先行,筑梦人生!         

曹子宁是南京航空航天大学计算机科学与技术学院的教授、博士生导师,主要研究方向为形式化方法和人工智能。他在软件开发过程中的需求阶段错误对系统安全性与可靠性的影响方面进行了研究,并提出了一种基于需求的形式化建模与验证方法。这项研究得到了国家重点基础研究发展计划(973计划)和航空科学基金的资助。曹子宁教授的研究成果在航空电子系统的建模与验证方面得到了应用,为开发更加安全可靠系统奠定了基础。

南航大学曹子宁怎么样

猜你喜欢内容

更多推荐