1977年進(jìn)華東師范大學(xué)數(shù)學(xué)系學(xué)習(xí)，畢業(yè)后在計(jì)算機(jī)科學(xué)技術(shù)系任教至今。

先后擔(dān)任過(guò)《C語(yǔ)言程序設(shè)計(jì)》、《Windows應(yīng)用程序設(shè)計(jì)》、《編譯原理》、《面向?qū)ο蠹夹g(shù)》、《程序設(shè)計(jì)方法學(xué)》、《軟件工程、工具與環(huán)境》、《軟件新技術(shù)》等課程的主講教師，指導(dǎo)過(guò)數(shù)十名本科生和十多名研究生的畢業(yè)論文。

軟件工程、工具及環(huán)境

形式化方法

面向?qū)ο?/p>

構(gòu)件

中間件

分布計(jì)算

過(guò)程管理

測(cè)試與度量

語(yǔ)言處理

編寫和出版了教材4部，譯著一部，其中《并行程序的設(shè)計(jì)方法》一書獲華東地區(qū)科技出版社優(yōu)秀科技圖書二等獎(jiǎng)。擔(dān)任上海市計(jì)算機(jī)學(xué)會(huì)理事、教育委員會(huì)副主任，全國(guó)高等師范學(xué)校計(jì)算機(jī)教育研究會(huì)理事，上海軟件構(gòu)件化專家指導(dǎo)委員會(huì)委員。主持和參加過(guò)十多項(xiàng)國(guó)家和上海市的科研項(xiàng)目、國(guó)際合作項(xiàng)目工作，在國(guó)內(nèi)外核心期刊上發(fā)表學(xué)術(shù)論文20多篇。

發(fā)表的論文

吳方法在命題邏輯中的應(yīng)用 華東師范大學(xué)學(xué)報(bào) 2006年第一期

基于面向方面編程的新型單元測(cè)試框架.計(jì)算機(jī)科學(xué)與實(shí)踐,第3卷第10期,2005年11月

編碼過(guò)程的相關(guān)度量及其工具實(shí)現(xiàn).計(jì)算機(jī)工程,2005年第三期

JCMP: Linking Architecture with Component Building, In Proc. IEEE Asia-Pacific Software Engineering Conference (APSEC’2004), Pusan, Korea, Nov. 2004.

A Novel Approach to Unit Test: the Aspect-Oriented Way, In Proc. International Symposium on Future Software Technology (ISFST 2004), Xi’an, China, Oct. 2004.

JAOUT: Automated Generation of Aspect-Oriented Unit Test. In Proc. IEEE Asia-Pacific Software Engineering Conference (APSEC’2004), Pusan, Korea, Nov. 2004.

A Basic Model for Components Implementation of Software Architecture and the Language and Tools to support it. Submitted to IEEE Transaction on Software Engineering.

A basic model for components implementation of software architecture ACM SIGSOFT Software Engineering Notes Volume 29, Issue 5(September 2004) Pages: 1-11:Year of Publication: 2004 ISSN:0163-5948

JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit. Proc. IEEE ASE workshop on Formal Approaches to Testing of Software, Montreal, Canada, Oct 2003, also in LNCS vol. 2931. Springer-Verlag, 2004

關(guān)系數(shù)據(jù)庫(kù)中的視圖自適應(yīng)維護(hù)機(jī)制.計(jì)算機(jī)應(yīng)用研究,2004年第五期

PE 文件格式剖析.計(jì)算機(jī)應(yīng)用研究,2004年第三期

JMLAutoTest: A Novel Automatic Testing Framework Based on JML and JUnit. In the Proc. IEEE ASE 2003 workshop on Formal Approaches to Testing of Software (FATES2003) , Montreal, Quebec, Canada, Oct 2003.

基于Agent的自適應(yīng)設(shè)計(jì)方法在聯(lián)合數(shù)據(jù)庫(kù)中的應(yīng)用.計(jì)算機(jī)應(yīng)用研究,2003年精擴(kuò)本

LL(1) 句法分析程序自動(dòng)生成的研究和實(shí)現(xiàn).計(jì)算機(jī)應(yīng)用,2003年6月

軟件工程方法的新進(jìn)展：面向Agent的軟件工程.計(jì)算機(jī)應(yīng)用研究,2003年第五期

輕載軟件開發(fā)方法.計(jì)算機(jī)工程,2003年第一期

求受頂點(diǎn)數(shù)限制的最短路徑問題的一個(gè)算法.計(jì)算機(jī)工程,2002年第九期

基于框架表示的組件庫(kù)模型.計(jì)算機(jī)工程,2002年第七期

基于IP加密的VBIC系統(tǒng)原理及實(shí)現(xiàn).計(jì)算機(jī)工程,2002年第五期

組件文檔研究.計(jì)算機(jī)應(yīng)用與軟件,2002年第五期

COM的可重用性及其存在的問題.計(jì)算機(jī)科學(xué) 99.11

關(guān)于計(jì)算機(jī)軟件教學(xué)的幾點(diǎn)思考.高等教育研究 99.7

面向?qū)ο髾C(jī)制對(duì)軟件測(cè)試的影響及其對(duì)策.微型電腦應(yīng)用 99.6

基于規(guī)則的腳本生成技術(shù).微型電腦應(yīng)用 98.7

圖式程序設(shè)計(jì)語(yǔ)言的形式定義和設(shè)計(jì)問題.理論計(jì)算機(jī)科學(xué) 98.4

圖式程序內(nèi)部表示的設(shè)計(jì)與實(shí)現(xiàn).計(jì)算機(jī)工程 98.1

圖式程序設(shè)計(jì)系統(tǒng)YPS.計(jì)算機(jī)工程 96.12

Windows編程技巧二則.微型電腦應(yīng)用 96.8

著作

《C語(yǔ)言程序設(shè)計(jì)》 華師大出版社

《并行程序設(shè)計(jì)方法》科技出版社

《計(jì)算機(jī)應(yīng)用基礎(chǔ)》 高等教育出版社

《編譯原理習(xí)題精選分析與解答》 清華大學(xué)出版社 2003年7月

《Unix/Linux 編程實(shí)踐教程》，原著Bruce Molay 清華大學(xué)出版社，2004年10月