导师姓名：周宇
性别：男
人气指数：102

所属院校：南京航空航天大学
所属院系：计算机科学与技术学院
职称：副教授
导师类型：硕导
招生专业：软件工程、计算机科学与技术、网络空间安全


通讯方式 :
办公电话：**-16408
电子邮件：zhouyu@nuaa.edu.cn


个人简述 :
分别于2004、2009年南京大学计算机系本科和博士毕业，2006-2007年香港理工大学计算机系研究助理(Research Assistant)，2007-2008年受留学基金委资助于瑞士苏黎世大学计算机系进修，2010-2011年于意大利米兰理工大学从事博士后研究，2015-2016年受留学基金委资助瑞士苏黎世大学访问学者。长期从事软件工程研究，主要研究领域为软件演化分析、智能化软件开发、云计算与大数据、软件可靠性及形式化验证技术等，中国计算机学会高级会员，中国计算机学会系统软件专委会委员，中国计算机学会软件工程专委会委员，中国计算机学会YOCSEF南京学术委员会(AC)委员，多个国内外学术会议程序/组织委员会委员，多个国内外学术期刊审稿人，在国内外重要期刊和会议上发表论文50余篇，申请国家发明专利9项，授权4项，出版英文专著2部。(详情请参见https://csyuzhou.github.io/)。

科研工作 :
发表学术论文,出版专著情况：
部分近期论文：
1. Yu Zhou, Ruihang Gu, Taolue Chen, Zhiqiu Huang, Sebastiano Panichella, Harald Gall. Analyzing APIs Documentation and Code to Detect Directive Defects. 39th International Conference on Software Engineering (ICSE) 2017, Buenos Aires, IEEE/ACM, pp:27-37.（软件工程A类会议）
2. Yu Zhou, Nvqi Zhou, Tingting Han, Jiayi Gu, Weigang Wu. Probabilistic Verification of Hierarchical Leader Election Protocol in Dynamic Systems. Frontiers of Computer Science. Springer, Accepted, 2017.
3. Yu Zhou, Yanxiang Tong, Taolue Chen, Jin Han. Augmenting Defect Localization with Part-of-Speech and Invocation. International Journal of Software Engineering and Knowledge Engineering, Vol.27, No.06, pp.925-949, 2017.
4. Yu Zhou, Jidong Ge, Pengcheng Zhang, Weigang Wu. Model Based Verification of Dynamically Evolvable Service Oriented Systems. Science China: Information Sciences, Vol.59: 032101(17), 2016.
5. Yu Zhou, Yanxiang Tong, Ruihang Gu, Harald Gall. Combining Text Mining and Data Mining for Bug Report Classification. Journal of Software: Evolution and Process. Vol.28, No.3, pp:150-176, Wiley, 2016.
6. Yu Zhou, Yankai Huang, Ou Wei, Zhiqiu Huang. Verifying Specifications with Associated Attributes in Graph Transformation Systems. Frontiers of Computer Science, Vol.9, No.3, pp:364-374, Springer，2015.
7. Yu Zhou, Xiaoxing Ma, Harald Gall. A Middleware Platform for the Dynamic Evolution of Distributed Component-Based Systems. Computing, Vol.96, No.8, pp:725-747, Springer, 2014.
8. Yu Zhou, Yanxiang Tong, Ruihang Gu, Harald Gall. Combining Text Mining and Data Mining for Bug Report Classification. In Proc. of 30th International Conference on Software Maintenance and Evolution (ICSM/ICSME), IEEE, pp:311-320, 2014.
9. Yu Zhou, Jidong Ge, Pengcheng Zhang. Hierarchical Timed Automata Based Verification of Dynamic Evolution Process in Open Environments. In Proc. of the International Conference on Software and System Process (ICSSP), pp:161-165, ACM, 2014.
10. 周宇，黄延凯，黄志球，吴维刚. 一种开放环境下软件在线演化一致性验证方法. 软件学报, 26(4):747-759, 2015.
部分近期专著：
1. Yu Zhou, Taolue Chen. Software Adaptation in an Open Environment: A Software Architecture Perspective. ISBN: **72, CRC Press, Taylor Francis Group. 2017.
科研成果获奖及专利：
1. 一种基于软件主体的应用流动方法。发明专利，专利号：ZL.**6.3, 发明人：吕建，马晓星，周宇。
2. 一种层次式时间自动机平展化算法。发明专利，专利号：ZL.**7.4, 发明人：周宇，胡军，黄志球。
3. 一种组合式软件缺陷报告分类方法。发明专利，专利号：ZL.**2.3，发明人：周宇，童燕翔，古睿航。
4. 一种基于文本词性和程序调用关系的软件缺陷预测方法。发明专利，专利号：ZL.**7.0，发明人：周宇，童燕翔，王立松。
5. 一种基于信息隐藏的图转换系统模型检测方法。发明专利，申请号：**1.2，发明人：周宇，周女琪，顾佳仪。
6. 一种Java API程序异常与文档的描述不一致自动检测方法.发明专利，申请号：**9.2，发明人：周宇，古睿航，赵洪达。
7. 一种开放环境下的Web服务组合多目标验证方法.发明专利，申请号：**6.5，发明人：周宇，周女琪，魏欧。
8. 一种Java 应用编程接口的文档缺陷自动修复方法.发明专利，申请号：**5.0，发明人：周宇，王长志，闫鑫。
9. 一种基于参数化模型的Web服务组合验证方法.发明专利，申请号：**1.3，发明人：周宇，周世旗，周女琪。
承担的科研项目情况：
主持国家自然科学基金青年基金1项，江苏省自然科学基金面上项目1项，国家重点实验室开放课题3项，基本科研业务专项2项。