人物經歷
1999年6月畢業於重慶大學計算機軟體與理論專業並獲工學博士學位，1999 年～2002 年在中國科學院計算機科學國家重點實驗室唐稚松院士指導下做博士後。1996年任副教授、2002年任教授。1999年起任碩士生導師，2004～2009年任蘇州大學計算機學院軟體工程系主任。
社會兼職
現任中國計算機學會高級會員、中國計算機學會軟體工程、系統軟體、理論計算機科學、協同計算等專委委員。擔任重慶市高評審信息學科組成員、教育部和省市科研項目評審專家、《中國科學》、《軟體學報》、《計算機學報》、《JCST》、《計算機研究與發展》等計算機權威期刊論文評審人和多個國內外重要學術會議程式委員會委員、第9屆全國軟體與套用學術會議程式委員會副主席等職。
主講課程
指導本科生“莙政學者”和國家級大學生創新性實驗計畫項目；主講研究生《軟體形式化方法》、《軟體可靠性方法》、《形式語言與自動機理論》等學位課。
研究方向
合作網路軟體工程與服務計算、並行分散式與協同計算等；目前主要研究興趣：面向雲計算和物聯網的軟體(服務)可信性分析與驗證。
主要貢獻
先後承擔和主持多項省廳、校級計算機科學與軟體工程教改重點課題，在《計算機教育》、《計算機科學》等刊物和會議發表教改論文20多篇。先後承擔完成國家重點科技攻關項目、國家（863）高技術研究發展計畫、國家自然科學基金及中國科學院知識創新工程項目6項；先後主持計算機科學國家重點實驗室(開放)課題3項，四川省、重慶市和江蘇省自然科學基金6項，重慶市和江蘇省高校自然科學基金4項；在國際頂級期刊 IEEE Transactions on Parallel and Distributed Systems(TPDS)、國內權威期刊《電子學報》、《軟體學報》、《計算機研究與發展》等國內外學術刊物和國際學術會議發表學術論文100多篇。
獲獎記錄
參與組織和編寫的著作《時序邏輯程式設計與軟體工程》獲第11屆全國優秀科技圖書一等獎和第六屆國家圖書獎。
曾獲四川省優秀青年骨幹教師、重慶市“322重點人才工程”第二層次人才、重慶市學術科技帶頭人、江蘇省“青藍工程”優秀骨幹教師、蘇州大學優秀中青年學術帶頭人等多項榮譽。
