曹子宁研究生导师介绍
姓名曹子宁 性 别:  行政职务 :
专业技术职务教授 办公电话 导师类别博士生导师
最后学历 最后学位博士 最后毕业学校清华大学
电子邮件caozn@nuaa.edu.cn  
工作单位计算机科学与技术学院    
学科研究方向一:
专业名称计算机科学与技术 (招收博、硕士研究生)                                                                  学科代码11081200
形式化建模与验证
学科研究方向二:
专业名称软件工程 (招收硕士研究生) 学科代码083500
软件形式化方法、模型检测技术、进程演算
个人简历(学历、学术经历及社会兼职):
教授/博导,1972年生,清华大学计算机专业博士,中科院软件所博士后。2015-2016年为Yale大学访问学者。从事软件形式化方法、计算机科学中的逻辑、多Agent系统等方面的研究。作为负责人和主要参与者承担了国家自然科学基金、江苏省自然科学基金、航空科学基金、973项目、总装预研等课题10项。发表论文50余篇,SCI收录10余篇。现为南京航空航天大学教授,《计算机研究与发展》编委


发表学术论文,出版专著情况:
• Yan Ma, Zining Cao, Yang Liu. Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic. International Journal of Software Engineering and Knowledge Engineering. 已录用.
• Guozheng Li, Zining Cao, Zheng Gao, Approximated Model Checking for Multirate Hybrid ZIA. International Journal of Control and Automation. 已录用.
• Siru Ni, Yi Zhuang, Zining Cao, Xiangying Kong. Modeling Dependability Features for Real-Time Embedded Systems. IEEE Transactions on Dependable and Secure Computing. 12(2):190-203, 2015.
• 倪水妹, 曹子宁. 面向概率ZIA时序及度量性质的检测研究,小型微型计算机系统,2015年第3期。
• Zining Cao, More on Bisimulations for Higher Order p-Calculus. Theoretical Computer Science 446. pp 1-19, 2012.
• Zining Cao, Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. International Conference on TASE, 2013.
• Zining Cao, A Truly Concurrent Process Calculus and Conflict Bisimulations. Networks – Infrastructure, Applications and Future Directions, iConcept Press, 2013.
• Zining Cao. Reducing Higher Order pi-Calculus to Spatial Logics. The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking(Computation Tools 2013), Spain, 2013.
• Zining Cao. On an Inference System for a Hybrid Process Calculus. The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking(Computation Tools 2013), Spain, 2013.
• Zining Cao, Belief Reasoning with Probability. Semantics-Advances in Theories and Mathematical Models, Chapter 2, pp 17-42, InTech Press, 2012.
• Zining Cao, A Calculus of Higher Order Safe Ambients and Its Bisimulations, International Symposium on Theoretical Aspects of Software Engineering, 2012, 7, 4-6, pp 93-100, China, 2012.
• Zining Cao, Modal ZIA, Modal Refinement Relation and Logical Characterisation, Proceedings of the 24nd International Conference on Software Engineering & Knowledge Engineering, 2012, 7, 1-3, pp 525-530, USA, 2012.
• Zining Cao, A Complete Proof System of Weak Bisimulation Over a Linear Hocore, International Symposium on Theoretical and Mathematical Foundations of Computer Science, 2012, 12, 1-2, pp 385-389, Indonesia, 2012.
• Zining Cao, Model Checking Parallel Interval Logic on Parallel Run Structures, International Symposium on Theoretical and Mathematical Foundations of Computer Science, 2012, 12, 1-2, pp 390-394, Indonesia, 2012.
• Zhongmin Qian, Zining Cao, Zhifeng Gao,Jinxing Lin. A knowledge passing process calculus. ICIC Express Letters, 6(1), pp 85-90, 2012.
• 肖芳雄, 李燕, 黄志球, 曹子宁, 陈哲, 范大娟 . 基于时间概率代价进程代数的Web服务组合建模和分析. 计算机学报, 2012, (05): 910-917.
• Fangxiong.Xiao, Zhiqiu.Huang, Zining Cao, Jun Hu, LinYuan Liu, Min Yuan. Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS. Journal of Web Services Research, 8(4), pp 47-80, 2011.
• Zining Cao, Hui Wang. Extending Interface Automata with Z Notation. In International Conference on Fundamental of Software Engineering, LNCS 7141, 2011, 4, 20-22, pp 359–367, Iran, 2011.
• Zining Cao, Hui Wang. Hybrid ZIA and Its Approximated Refinement Relation. 6th International Conference on Evaluation of Novel Approaches to Software Engineering. pp 260-265, China, 2011.
• Zining Cao. On the Operational Semantics of a Higher Order Safe Ambients Calculus. In International Conference on Theoretical and Mathematical Foundations of Computer Science, Communications in Computer and Information Science 164, pp 305-312, Singapore, 2011.
• Junhua Zhang, Zhiqiu Huang, Zining Cao. On the controller synthesis for probabilistic systems of conflict tolerant specification. Journal of Computational Information Systems, 2011.
• Junhua Zhang, Zhiqiu Huang, Zining Cao. On the controller synthesis for Markov decision process of conflict tolerant specification. 2011 International Conference on Electronic Commerce, Web Application and Communication, Communications in Computer and Information Science, 2011.
• 肖芳雄, 黄志球, 曹子宁, 屠立忠, 祝义. Web 服务组合功能与QoS 的形式化统一建模和分析. 软件学报, 22(11), pp 2698-2715, 2011.
• Zining Cao. Bisimulations for Open Processes in Higher Order π-calculus. In Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010, 8, 25-27, pp 135-144, Taiwan, 2010.
• Zining Cao, Temporal Logics and Model Checking Algorithms for ZIAs. In Proceeding of Software Engineering and Data Mining, pp 57-62, China, 2010.
• Zining Cao. Model Checking LOOP Programs. In International Conference on Software Engineering Research & Practice, 2010, 7, 12-15, pp 534-542, USA, 2010.
• Zining Cao, Refinement Checking for Interface Automata with Z Notation. In Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering, 2010, 7, 1-3, pp 399-404, USA, 2010.
• Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao. Model checking probabilistic timed automata in the presence of uncertainties. Journal of Computational Information Systems, 6(7), pp 2231-2244, 2010.
• Qing Zheng, Zining Cao. Process calculus with data structure and its model checking algorithm. In International Colloquium on Computing, Communication, Control, and Management, pp 55-58, China, 2010.
• Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan. An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. In: Proc. of The 10th International Conference on Quality Software, pp 373~376, 2010.
• 袁敏, 黄志球, 曹子宁, 肖芳雄 . 一种扩充的π-演算及事务性等价关系研究. 计算机研究与发展, (03), pp 541-549, 2010.
• 祝义, 黄志球, 曹子宁, 周航, 刘亚萍. 一种基于形式化规约生成软件体系结构模型的方法. 软件学报, 21(11), pp 2738~2751, 2010.
• Zining Cao, A True Concurrent Process Calculus and Its Conflict Bisimulation. In Proceeding of 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing 2009 (SNPD2009), 475-480.
• Zining Cao, Distributed Viewpoint Equivalences for Higher Order Processes. In WRI World Congress on Computer Science and Information Engineering 2009 (CSIE2009), 792-796.
• Zining Cao, Branching Bisimulations for Higher Order pi-Calculus. In International Conference on Information Technology and Computer Science 2009 (ITCS2009), 522-525.
• Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu: Modeling Cost-Aware Web Services Composition Using PTCCS. In Proceeding of IEEE International Conference on Web Services (ICWS2009): 461-468.
• Zhang Jun hua, Huang Zhiqiu, Cao Zining, Zhao Jun. Model checking interval probabilistic timed automata. In Proceedings of International Conference on Information Science and Engineering 2009 (ICISE2009), 4936-4940.
• 肖芳雄, 黄志球, 曹子宁, 袁敏, 张君华. 基于价格进程代数的Web服务组合描述和成本分析. 计算机研究与发展, 2009, (05): 832-840.
• Zining Cao, Equivalence Checking for a Finite Higher Order p-Calculus. In Proceeding of Tests and Proofs 2008 (TAP2008), Lecture Notes in Computer Science 4966, 30-47.
• Zining Cao, A Logic for Distributed Higher Order p-Calculus. In Proceeding of Theory and Applications of Models of Computation 2008 (TAMC2008), Lecture Notes in Computer Science 4978, 351-363.
• Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao: Counterexample Generation for Probabilistic Timed Automata Model Checking. In International Conference on Computer Science and Software Engineering (CSSE2008): 210-214, 2008.
• 张君华, 黄志球, 曹子


科研成果获奖及专利:

承担的科研项目情况:
航空科学基金重点实验室项目,20150652008,软件高级需求行为模型建模技术,2015/10 -2017/9,10万元,在研,主持。
973项目,2014CB744900,面向大型飞机的综合化航空电子系统安全性基础问题研究,2014/1 -2018/12,300万元,在研,参与。
国家自然科学基金-面上项目,项目号: 61572253,高可信嵌入式软件建模与验证方法的研究,2016/01-2019/12,85.6万元,在研,参与。
国家自然科学基金-面上项目,项目号: 61272083, 云计算演化环境中的隐私建模与检测方法研究,2013/1~2016/12, 80万,在研,参与。
航空科学基金重点实验室项目,20128052064,机载软件形式化开发与验证方法研究,2012/10 -2014/9,10万元,已结题,主持。
国家自然科学基金面上项目,60873025,高阶进程演算的互模拟研究,2009/1 -2011/12,27万元,已结题,主持。
江苏省自然科学基金面上项目,BK2008389,面向高阶通信的进程演算系统研究与应用, 2008/10 -2010/9,10万元,已结题,主持。
航空科学基金重点实验室项目,20085552023,基于形式化软件需求的自动测试技术研究,2008/10 -2010/9,10万元,已结题,主持。
国家自然科学基金面上项目,60473036,面向多Agent 系统模型检测的逻辑和算法,2005/1 -2007/12,18万元,已结题,主持。
国家自然科学基金青年项目,60203028,面向实时传值系统的模态逻辑和模型检测,2003/1 -2003/12,6万元,已结题,主持。
指导研究生情况:

已指导5名博士研究生,20余名硕士研究生。
备注: