基本情況
學(xué)習(xí)工作簡(jiǎn)歷
2002年于廈門大學(xué)獲計(jì)算機(jī)科學(xué)專業(yè)學(xué)士；2002年于華南理工大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院攻讀碩士學(xué)位，2003年免試直接攻讀博士學(xué)位，2007年獲計(jì)算機(jī)應(yīng)用技術(shù)博士學(xué)位。2007年被聘為講師。2012年被聘為副教授（提前上崗）。
主授課程
承擔(dān)博士生課程《形式語(yǔ)義》，全日制碩士課程《企業(yè)級(jí)軟件開發(fā)技術(shù)》，工程碩士課程《面向?qū)ο蠓治雠c設(shè)計(jì)》及本科生課程《軟件需求分析與建�！�。
主要研究領(lǐng)域與項(xiàng)目
科研領(lǐng)域
軟件工程理論：程序語(yǔ)言設(shè)計(jì)原理；軟件開發(fā)方法學(xué)；形式化方法及形式語(yǔ)義學(xué)；范疇論；代數(shù)、共代數(shù)和雙代數(shù)理論；
軟件工程技術(shù)：軟件開發(fā)新技術(shù)新方法研究（軟件重用重構(gòu)、軟件體系結(jié)構(gòu)、分布式計(jì)算技術(shù)）；構(gòu)件技術(shù)；軟件需求及行為分析、建模與驗(yàn)證；軟件工程方法學(xué)；
軟件工程應(yīng)用：Web服務(wù)和云計(jì)算；手機(jī)應(yīng)用軟件；搜索引擎優(yōu)化；企業(yè)級(jí)軟件開發(fā)技術(shù)；
科研項(xiàng)目
主持的縱向項(xiàng)目包括：2012年國(guó)家自然科學(xué)基金項(xiàng)目（61103039）、2010年國(guó)家教育部高校博士點(diǎn)科研基金項(xiàng)目（20100172120043）、2009年中央高�；究蒲袠I(yè)務(wù)費(fèi)項(xiàng)目（2009ZM0158）及其他校級(jí)項(xiàng)目若干。
主持橫向項(xiàng)目10多項(xiàng)，如華南理工大學(xué)學(xué)生成績(jī)及證明打印系統(tǒng)、創(chuàng)新項(xiàng)目申報(bào)管理系統(tǒng)、研究生保送系統(tǒng)－推免系統(tǒng)等；長(zhǎng)期與多家企事業(yè)單位合作，如中國(guó)移動(dòng)、廣州國(guó)眾投資咨詢有限公司和廣州貝訊科技有限公司等。
主要科研成果與獲獎(jiǎng)
科研成果：
近年來(lái)以第一作者發(fā)表的論文20多篇，其中包括一級(jí)學(xué)報(bào)《計(jì)算機(jī)研究與發(fā)展》和SCI-E源刊Information等，被EI收錄的論文10多篇。
獲獎(jiǎng)情況：
多次指導(dǎo)學(xué)生參與課外實(shí)踐或競(jìng)賽，如08年泛珠三角安利杯大學(xué)生計(jì)算機(jī)作品賽（獲廣東賽區(qū)第一名，最佳實(shí)用獎(jiǎng)和全國(guó)決賽銅獎(jiǎng)）、09年Nokia移動(dòng)創(chuàng)新大賽優(yōu)勝獎(jiǎng)，及多項(xiàng)SRP項(xiàng)目、廣東省和國(guó)家大學(xué)生實(shí)驗(yàn)創(chuàng)新項(xiàng)目。獲07～08年優(yōu)秀教師－教學(xué)優(yōu)秀獎(jiǎng)二等獎(jiǎng)、08～09年青年教師課堂競(jìng)賽鼓勵(lì)獎(jiǎng)、07～08和10～11年優(yōu)秀研究生級(jí)主任稱號(hào)及IBM2010年中國(guó)優(yōu)秀教師獎(jiǎng)教金等。
