周曉聰，男，中山大學數據科學與計算機學院副教授，碩士生導師。中山大學計算機及套用專業學士、中山大學計算機軟體與理論專業碩士學位，中國科學院軟體研究所計算機軟體與理論專業博士學位。
基本介紹
- 中文名：周曉聰
- 畢業院校：中國科學院軟體研究所
- 學位/學歷：博士
- 專業方向：軟體工程技術等
- 任職院校：中山大學
研究領域,人物經歷,教育背景,工作經歷,海外經歷,獲獎榮譽,科研項目,學術兼職,教授課程,代表論著,
研究領域
軟體工程技術：軟體行為理解與分析；軟體調試與測試；軟體可視化；實驗性軟體工程；軟體工程中的數據挖掘；
軟體工程理論：類型系統；範疇理論；計算機科學中的代數與共代數理論；
人物經歷
教育背景
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 ofAPLAS2010paper)
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
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
5. 賀韜，王欣明，周曉聰，李文軍，張震宇，張成志. 一種基於程式變異的軟體錯誤定位技術. 《計算機學報》，Vol.36, No.11, 2013年11月, pp.2236-2244(EI 收錄：20135017075489)
6. 黎永基、李師賢、周曉聰，類型類型化π演算的雙代數語義，《計算機研究與發展》，Vol.49, No.8, 2012年8月，pp.1773-1780 (EI 收錄：20124115554759)
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 ofThe 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
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
