所属研究所、院系:
软件工程与应用研究所

职称:
副教授

E-mail:
isszxc@mail.sysu.edu.cn

办公地点:
528B

个人主页: http://sdcs2.sysu.edu.cn/space/zxc



教师简介:
周晓聪，副教授，硕士生导师。中山大学计算机及应用专业学士、中山大学计算机软件与理论专业硕士学位，中国科学院软件研究所计算机软件与理论专业博士学位。

研究领域:
软件工程技术：软件行为理解与分析；软件调试与测试；软件可视化；实验性软件工程；软件工程中的数据挖掘；
软件工程理论：类型系统；范畴理论；计算机科学中的代数与共代数理论；
?

教育背景:
1995至2001???????? 中国科学院软件研究所博士研究生。
1992至1995???????? 中山大学计算机科学系硕士研究生。
1988至1992???????? 中山大学计算机科学系本科生。
?

工作经历:
2002至今???????????? 中山大学计算机科学系副教授。
□ 2009年12月2015年6月，信息科学与技术学院院长助理
□ 2007年1月2012年12月，教育部文科计算机基础教学指导委员会委员
□ 2006年9月至2009年12月，计算机科学系副系主任
□ 2004年至2015年，硕士研究生导师，指导全日制研究生39人
□ 2004年至2015年，指导全日制本科毕业论文119篇
?
?

海外经历:
2006年6月至2006年8月，作为访问****在香港科技大学访问三个月
2004年8月至2005年2月，作为国家留学基金委员会示范性软件学院项目派出的访问****到美国的东华盛顿大学(Eastern Washington University, Spokane, WA)访问半年
?
?

获奖及荣誉:
2014年获广东省第七届教学成果二等奖，获奖项目“以能力培养为目的，课内外一体的分层次多模块全方位的实践教学新体系建设”，本人排名第四
?

科研项目:
?
1. 2011年1月至2013年12月，主持高校基本科研业务费中山大学青年教师培育基金项目“共代数类规范在软件错误定位中的应用研究”（项目批准号：11LGPY39，经费15万元）
2. 2007年1月至2009年12月，主持国家自然科学基金项目“基于双代数的对象行为规范及其应用研究”（项目批准号：**，经费27万元，类别：面上自由申请项目）
3. 2005年1月至2005年12月，主持国家自然科学基金项目“共代数方法及其在形式化描述和验证软件体系结构中的应用”（项目批准号：**，经费6万元，类别：青年科学基金项目）
4. 2004年1月至2005年12月，主持广东省自然科学基金项目 “基于共代数方法的软件体系结构及其应用研究”（项目编号：031542，经费6万元）
?

主要学术兼职:
中国计算机学会软件工程专业委员会委员

教授课程:
曾担任计算机系本科、软件学院本科生、软件学院研究生、计算机系研究生课程班等班级的“面向对象程序设计”、“离散数学”、“程序设计理论”、“可计算性理论”、“软件工程进展”、“数理逻辑”等课程的主讲教师

代表性论著:
1. Xiao-cong Zhou, Yong-ji Li, Wen-jun Li, Hai-yan Qiao, Zhong-mei Shu. Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras. Mathematical Structures in Computer Science, Vol. 25, Special Issue 4, pp765-804, May 2015 (Extended version of APLAS 2010 paper)?http://dx.doi.org/10.1017/S0030
2. Zhuo-jia Liang, Ming-jia Wang, Xiao-cong Zhou, Liang Lin and Wen-jun Li. Salient Object Detection Based on Regions. Multimedia Tools and Applications (MTAP), Springer, 68(3):517-544 , February, 2014, DOI 10.1007/s11042-012-1040-1
3. 江联，黄海亮，王欣明，李文军，周晓聪. 基于感染变量分析的软件错误定位技术. 《计算机科学与探索》，Vol. 8, No. 8, 2014年8月，pp.966-977 http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.**
4. Xiaocong Zhou, Dongling Luo, Yang Yi. Improved incremental Support Vector Machine with hybrid feature selection for network intrusion detection. In: Proceedings of IET International Conference on Information and Network Security. Beijing, China, November 22-24, 2013, IET, E-ISBN 978-1-84919-729-8, pp. 1-6 http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=**
5. 贺韬，王欣明，周晓聪，李文军，张震宇，张成志. 一种基于程序变异的软件错误定位技术. 《计算机学报》，Vol.36, No.11, 2013年11月, pp.2236-2244(EI 收录：20**9) http://cjc.ict.ac.cn/online/onlinepaper/ht.pdf?
6. 黎永基、李师贤、周晓聪，类型类型化π演算的双代数语义，《计算机研究与发展》，Vol.49, No.8, 2012年8月，pp.1773-1780 (EI 收录：759) http://crad.ict.ac.cn:81/CRAD/ePublish/Download/DownloadFile.asp?pno=2325?
7. Hao Li, Wenjun Li, Xiaocong Zhou. Fault Localization Based on Attribute Selection. In: Proceedings of IEEE International Conference on Intelligent Computing and Intelligent Systems (vol. 1), Guangzhou, China, November 18-20, 2011, IEEE Press, ISBN 978-1-61284-142-7, pp. 125-129
8. Wenjun Li, Xi Li, Xiaojun Liang, Xiao-cong Zhou. QoS-Driven Service Composition with Multiple Flow Structures. In: Proceedings of The 8th IEEE International Conference on Services Computing (SCC 2011), Washington DC, USA, July 4-9, 2011, IEEE Computer Society, ISBN 978-1-4577-0863-3, pp.362-369 http://doi.ieeecomputersociety.org/10.1109/SCC.2011.21?
9. Xiao-cong Zhou, Yongji Li, Wen-jun Li, Hai-yan Qiao, Zhong-mei Shu. Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras. In: Kazunori Ueda (Ed.), Proceedings of 8th Asian Symposium on Programming Languages and Systems, APLAS 2010, Shanghai, China, November 28-December 1, 2010. Lecture Notes in Computer Science （LNCS） 6461, Springer 2010, ISBN 978-3-642-17163-5, pp 239-254? http://www.springerlink.com/content/**t7600t87/
?