軟件工程技術(shù)：軟件行為理解與分析；軟件調(diào)試與測試；軟件可視化；實(shí)驗(yàn)性軟件工程；軟件工程中的數(shù)據(jù)挖掘；

軟件工程理論：類型系統(tǒng)；范疇理論；計(jì)算機(jī)科學(xué)中的代數(shù)與共代數(shù)理論；

1995至2001 中國科學(xué)院軟件研究所博士研究生。

1992至1995 中山大學(xué)計(jì)算機(jī)科學(xué)系碩士研究生。

1988至1992 中山大學(xué)計(jì)算機(jī)科學(xué)系本科生。

2002至今 中山大學(xué)計(jì)算機(jī)科學(xué)系副教授。

□ 2009年12月2015年6月，信息科學(xué)與技術(shù)學(xué)院院長助理

□ 2007年1月2012年12月，教育部文科計(jì)算機(jī)基礎(chǔ)教學(xué)指導(dǎo)委員會(huì)委員

□ 2006年9月至2009年12月，計(jì)算機(jī)科學(xué)系副系主任

□ 2004年至2015年，碩士研究生導(dǎo)師，指導(dǎo)全日制研究生39人

□ 2004年至2015年，指導(dǎo)全日制本科畢業(yè)論文119篇

2006年6月至2006年8月，作為訪問學(xué)者在香港科技大學(xué)訪問三個(gè)月

2004年8月至2005年2月，作為國家留學(xué)基金委員會(huì)示范性軟件學(xué)院項(xiàng)目派出的訪問學(xué)者到美國的東華盛頓大學(xué)(Eastern Washington University, Spokane, WA)訪問半年

2014年獲廣東省第七屆教學(xué)成果二等獎(jiǎng)，獲獎(jiǎng)項(xiàng)目“以能力培養(yǎng)為目的，課內(nèi)外一體的分層次多模塊全方位的實(shí)踐教學(xué)新體系建設(shè)”，本人排名第四

1. 2011年1月至2013年12月，主持高校基本科研業(yè)務(wù)費(fèi)中山大學(xué)青年教師培育基金項(xiàng)目“共代數(shù)類規(guī)范在軟件錯(cuò)誤定位中的應(yīng)用研究”（項(xiàng)目批準(zhǔn)號：11LGPY39，經(jīng)費(fèi)15萬元）

2. 2007年1月至2009年12月，主持國家自然科學(xué)基金項(xiàng)目“基于雙代數(shù)的對象行為規(guī)范及其應(yīng)用研究”（項(xiàng)目批準(zhǔn)號：60673050，經(jīng)費(fèi)27萬元，類別：面上自由申請項(xiàng)目）

3. 2005年1月至2005年12月，主持國家自然科學(xué)基金項(xiàng)目“共代數(shù)方法及其在形式化描述和驗(yàn)證軟件體系結(jié)構(gòu)中的應(yīng)用”（項(xiàng)目批準(zhǔn)號：60403013，經(jīng)費(fèi)6萬元，類別：青年科學(xué)基金項(xiàng)目）

4. 2004年1月至2005年12月，主持廣東省自然科學(xué)基金項(xiàng)目 “基于共代數(shù)方法的軟件體系結(jié)構(gòu)及其應(yīng)用研究”（項(xiàng)目編號：031542，經(jīng)費(fèi)6萬元）

中國計(jì)算機(jī)學(xué)會(huì)軟件工程專業(yè)委員會(huì)委員

曾擔(dān)任計(jì)算機(jī)系本科、軟件學(xué)院本科生、軟件學(xué)院研究生、計(jì)算機(jī)系研究生課程班等班級的“面向?qū)ο蟪绦蛟O(shè)計(jì)”、“離散數(shù)學(xué)”、“程序設(shè)計(jì)理論”、“可計(jì)算性理論”、“軟件工程進(jìn)展”、“數(shù)理邏輯”等課程的主講教師

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. 江聯(lián)，黃海亮，王欣明，李文軍，周曉聰. 基于感染變量分析的軟件錯(cuò)誤定位技術(shù). 《計(jì)算機(jī)科學(xué)與探索》，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. 賀韜，王欣明，周曉聰，李文軍，張震宇，張成志. 一種基于程序變異的軟件錯(cuò)誤定位技術(shù). 《計(jì)算機(jī)學(xué)報(bào)》，Vol.36, No.11, 2013年11月, pp.2236-2244(EI 收錄：20135017075489)

6. 黎永基、李師賢、周曉聰，類型類型化π演算的雙代數(shù)語義，《計(jì)算機(jī)研究與發(fā)展》，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