周晓聪

所属研究所、院系: 
软件工程与应用研究所
职称: 
副教授
E-mail: 
isszxc@mail.sysu.edu.cn
办公地点: 
528B
教师简介: 

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

研究领域: 

软件工程技术:软件行为理解与分析;软件调试与测试;软件可视化;实验性软件工程;软件工程中的数据挖掘;

软件工程理论:类型系统;范畴理论;计算机科学中的代数与共代数理论;

 

教育背景: 

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月,主持国家自然科学基金项目“基于双代数的对象行为规范及其应用研究”(项目批准号:60673050,经费27万元,类别:面上自由申请项目)

3. 2005年1月至2005年12月,主持国家自然科学基金项目“共代数方法及其在形式化描述和验证软件体系结构中的应用”(项目批准号:60403013,经费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/S0960129513000030

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

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=6825999

5. 贺韬,王欣明,周晓聪,李文军,张震宇,张成志. 一种基于程序变异的软件错误定位技术. 《计算机学报》,Vol.36, No.11, 2013年11月, pp.2236-2244(EI 收录:20135017075489) http://cjc.ict.ac.cn/online/onlinepaper/ht.pdf 

6. 黎永基李师贤、周晓聪,类型类型化π演算的双代数语义,《计算机研究与发展》,Vol.49, No.8, 2012年8月,pp.1773-1780 (EI 收录:20124115554759) 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/00175672t7600t87/