周宇研究生导师介绍
姓名周宇 性 别:  行政职务 :
专业技术职务副教授 办公电话84896491-16408 导师类别硕士生导师
最后学历博士毕业 最后学位博士 最后毕业学校南京大学
电子邮件zhouyu@nuaa.edu.cn  
工作单位计算机科学与技术学院    
学科研究方向一:
专业名称软件工程 (招收硕士研究生)                                                                  学科代码11083500
智能化软件开发、大数据与云计算、软件演化分析
学科研究方向二:
专业名称计算机科学与技术 (招收硕士研究生) 学科代码081200
软件可靠性及形式化验证技术,软件体系结构及中间件技术
学科研究方向三:
专业名称网络空间安全 (招收硕士研究生) 学科代码083900
个人简历(学历、学术经历及社会兼职):
分别于2004、2009年南京大学计算机系本科和博士毕业,2006-2007年香港理工大学计算机系研究助理(Research Assistant),2007-2008年受留学基金委资助于瑞士苏黎世大学计算机系进修,2010-2011年于意大利米兰理工大学从事博士后研究,2015-2016年受留学基金委资助瑞士苏黎世大学访问学者。长期从事软件工程研究,主要研究领域为软件演化分析、智能化软件开发、云计算与大数据、软件可靠性及形式化验证技术等,中国计算机学会高级会员,中国计算机学会系统软件专委会委员,中国计算机学会软件工程专委会委员,中国计算机学会YOCSEF南京学术委员会(AC)委员,多个国内外学术会议程序/组织委员会委员,多个国内外学术期刊审稿人,在国内外重要期刊和会议上发表论文50余篇,申请国家发明专利10项,授权6项,出版英文专著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.(软件工程旗舰会议,CCF A类会议)

  2. Yu Zhou, Changzhi Wang, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald Gall. Automatic Detection and Repair Recommendation of Directive Defects in Java APIs Documentation. IEEE Trans. on Software Engineering, 2018. (DOI: 10.1109/TSE.2018.287971, to appear,软件工程旗舰期刊,CCF A类期刊)

  3. Yu Zhou, Nvqi Zhou, Tingting Han, Jiayi Gu, Weigang Wu. Probabilistic Verification of Hierarchical Leader Election Protocol in Dynamic Systems. Frontiers of Computer Science. Vol.12, No.4, pp.763-776, 2018.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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.

  9. 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.

  10. 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.

  11. Yu Zhou, Luciano Baresi, Matteo Rossi. Towards A Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. Journal of Computer Science and Technology (JCST), Vol.28, No.1, pp:188-202, Springer, 2013.

  12. 周宇,黄延凯,黄志球,吴维刚. 一种开放环境下软件在线演化一致性验证方法. 软件学报, 26(4):747-759, 2015.


部分近期专著:

  1. Yu Zhou, Taolue Chen. Software Adaptation in an Open Environment: A Software Architecture Perspective. ISBN: 9781138743472, CRC Press, Taylor & Francis Group. 2017.



科研成果获奖及专利:
1. 一种基于软件主体的应用流动方法。发明专利,专利号:ZL.200710025456.3,发明人:吕建,马晓星,周宇。
2. 一种层次式时间自动机平展化算法。发明专利,专利号:ZL.201210218467.4,发明人:周宇,胡军,黄志球。
3. 一种组合式软件缺陷报告分类方法。发明专利,专利号:ZL.201410250512.3,发明人:周宇,童燕翔,古睿航。
4. 一种基于文本词性和程序调用关系的软件缺陷预测方法。发明专利,专利号:ZL.201510492477.0,发明人:周宇,童燕翔,王立松。
5. 一种基于信息隐藏的图转换系统模型检测方法。发明专利,专利号:ZL.201510738061.2,发明人:周宇,周女琪,顾佳仪。
6. 一种Java API程序异常与文档的描述不一致自动检测方法。发明专利,专利号:ZL.201610662289.2,发明人:周宇,古睿航,赵洪达。
7. 一种开放环境下的Web服务组合多目标验证方法。发明专利,申请号:201710810726.5,发明人:周宇,周女琪,魏欧。
8. 一种Java 应用编程接口的文档缺陷自动修复方法。发明专利,申请号:201710999995.0,发明人:周宇,王长志,闫鑫。
9. 一种基于参数化模型的Web服务组合验证方法。发明专利,申请号:201711420311.3,发明人:周宇,周世旗,周女琪。
10.一种基于文件路径分析的代码审查者推荐方法。发明专利,申请号:201810611269.1,发明人:周宇,苏彦颀,刘健。

承担的科研项目情况:
主持国家自然科学基金青年基金1项,国家重点研发计划-云计算与大数据重点专项(子)课题1项,江苏省自然科学基金面上项目1项,国家重点实验室开放课题3项,基本科研业务专项2项。
指导研究生情况:

目前指导研究生10名,毕业5名。
备注:

2019年计划招生4-6名硕士研究生;此外,课题组常年招聘软件方向博士后(基本待遇参见人事处网站),欢迎对上述研究方向感兴趣的同学联系、报考!