个人简历

教育经历
1998.3 - 2001.6\t清华大学 计算机应用技术 博士研究生毕业 工学博士学位
1995.9 - 1998.3\t南京航空航天大学 计算机应用 硕士研究生毕业 工学硕士学位
1991.9 - 1995.7\t南京航空航天大学 计算机及应用 大学本科毕业 工学学士学位
工作经历
2004.12 - 至今\t南京航空航天大学计算机科学与技术学院
2003.12 - 2004.12\t北京大学数学学院信息科学系
2001.7 - 2003.12\t中科院软件所
1998.4 - 2001.7\t清华大学计算机系
科研项目
[1] AADL体系架构建模技术研究
[2] 形式化验证
[3] 面向移动计算的模态逻辑和模型检测
[4] 面向多Agent系统模型检测的逻辑和算法
[5] 机载软件形式化开发与验证方法研究
[6] 软件高级需求行为模型建模技术
[7] 高阶进程演算系统研究与应用
[8] 基于形式化软件需求的自动测试技术研究
[9] 高阶进程演算的互模拟研究
[10] 面向高阶通信的进程演算系统研究及应用

研究领域

"目前研究软件工程中形式化建模与验证、计算机科学中的逻辑、智能软件工程等领域。"

近期论文

[1] 曹子宁,曹子宁,曹子宁等.A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
[2] 曹子宁,曹子宁,曹子宁等.Genetic Algorithm-Based Learning Assumption for Assume-Guarantee Reasoning in Stochastic Model Checking.The 17 th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications,2019
[3] 曹子宁,曹子宁,曹子宁等.一种基于遗传算法的概率假设-保证验证方法与实现.南京邮电大学学报,2019
[4] 曹子宁,,等.A Specification with Performance Evaluation for Probabilistic Timed Automata.2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE),2017
[5] 曹子宁,,等.一种基于并发的AADL建模方法.计算机与现代化,2017
[6] 曹子宁,,等.A PSO-Based CEGAR Framework for Stochastic Model Checking.Int. J. Software Engineer. Knowledge Engineer.,2019
[7] 曹子宁,,等.Genetic algorithm-based assume-guarantee reasoning for stochastic model checking.Proc. - IEEE/ACIS Int. Conf. Softw. Eng. Res., Manag. Appl., SERA,2019
[8] 曹子宁,,等.面向CPS的混成AADL建模与模型转换.计算机技术与发展,2019
[9] 曹子宁,,等.Specification for Probabilistic Timed Systems with Data Constraints.PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017),2017
[10] 曹子宁,,等.The Formal Transformation of AADL Based on Z-CoIA.CLOUD COMPUTING AND SECURITY, PT II,2017
[11] 曹子宁,Liu, Yang,Liu, Yang等.A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm.IEEE ACCESS,2019
[12] 曹子宁,,等.A Specification with Performance Evaluation for Probabilistic Timed Automata.2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE),2017
[13] 曹子宁,,等.一种基于并发的AADL建模方法.计算机与现代化,2017