öλÔÓéÀֵǼÈë¿ÚÏÂÔØ

µ¼Ê¦ÐÕÃû£ºÖÜÓî
ÐÔ±ð£ºÄÐ
ÈËÆøÖ¸Êý£º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Ïî¡£