曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院


手机版
访问量：
最后更新时间：..

教育经历
1998.3 - 2001.6 清华大学 计算机应用技术 博士研究生毕业 工学博士学位

1995.9 - 1998.3 南京航空航天大学 计算机应用 硕士研究生毕业 工学硕士学位

1991.9 - 1995.7 南京航空航天大学 计算机及应用 大学本科毕业 工学学士学位


工作经历
2004.12 - 至今 南京航空航天大学计算机科学与技术学院

2003.12 - 2004.12 北京大学数学学院信息科学系

2001.7 - 2003.12 中科院软件所

1998.4 - 2001.7 清华大学计算机系

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 科学研究
研究领域
论文成果More>>
曹子宁.A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
曹子宁.Genetic Algorithm-Based Learning Assumption for Assume-Guarantee Reasoning in Stochastic Model Checking
曹子宁.一种基于遗传算法的概率假设-保证验证方法与实现
曹子宁.A Specification with Performance Evaluation for Probabilistic Timed Automata
曹子宁.一种基于并发的AADL建模方法
曹子宁.A PSO-Based CEGAR Framework for Stochastic Model Checking
专利
著作成果
科研项目More>>
AADL体系架构建模技术研究, 2018/01/01
形式化验证, 2014/05/15
面向移动计算的模态逻辑和模型检测, 2005/03/28
面向多Agent系统模型检测的逻辑和算法, 2005/03/29
机载软件形式化开发与验证方法研究
软件高级需求行为模型建模技术, 2015/01/01

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 科学研究 >> 研究领域

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 科学研究 >> 论文成果
[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
[3]曹子宁,曹子宁,曹子宁等.一种基于遗传算法的概率假设-保证验证方法与实现
[4]曹子宁,曹子宁,曹子宁等.A Specification with Performance Evaluation for Probabilistic Timed Automata
[5]曹子宁,曹子宁,曹子宁等.一种基于并发的AADL建模方法
[6]曹子宁,曹子宁,曹子宁等.A PSO-Based CEGAR Framework for Stochastic Model Checking
[7]曹子宁,曹子宁,曹子宁等.Genetic algorithm-based assume-guarantee reasoning for stochastic model checking
[8]曹子宁,曹子宁,曹子宁等.面向CPS的混成AADL建模与模型转换
[9]曹子宁,曹子宁,曹子宁等.Specification for Probabilistic Timed Systems with Data Constraints
[10]曹子宁,曹子宁,曹子宁等.The Formal Transformation of AADL Based on Z-CoIA
[11]曹子宁,曹子宁,曹子宁等.A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
[12]曹子宁,曹子宁,曹子宁等.A Specification with Performance Evaluation for Probabilistic Timed Automata
[13]曹子宁,曹子宁,曹子宁等.一种基于并发的AADL建模方法
共13条1/1 首页上页下页尾页

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 科学研究 >> 专利
共0条0/0

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 科学研究 >> 著作成果
共0条0/0

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 科学研究 >> 科研项目
[1] AADL体系架构建模技术研究
[2] 形式化验证
[3] 面向移动计算的模态逻辑和模型检测
[4] 面向多Agent系统模型检测的逻辑和算法
[5] 机载软件形式化开发与验证方法研究
[6] 软件高级需求行为模型建模技术
[7] 高阶进程演算系统研究与应用
[8] 基于形式化软件需求的自动测试技术研究
[9] 高阶进程演算的互模拟研究
[10] 面向高阶通信的进程演算系统研究及应用
共10条1/1 首页上页下页尾页

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 教学研究
教学资源
授课信息
教学成果

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 教学研究 >> 教学资源
共0条0/0

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 教学研究 >> 授课信息
共0条0/0

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 教学研究 >> 教学成果
共0条0/0

---

曹子宁

赞
教授 博士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术--【招收博士、硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程--【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息--【招收博士、硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

手机版
访问量：
最后更新时间：..


当前位置: 中文主页 >> 获奖信息
共0条0/0