基本情況
主要從事計算機軟體與理論的科研與教學工作;曾作為訪問學者參加日本、美國、丹麥等國多所大學的研究工作,曾被評選為北京市高等學校青年學科帶頭人,入選北京市跨世紀人才工程。
主要研究方向
a)軟體自動化方法,包括部分求值技術及其套用、軟體規格說明語言、領域專用語言、程式分析與程式變換技術、軟體支撐環境與軟體工具;重點研究Java語言的部分求值技術與軟體開發工具。
b)數據集成技術,包括XQuery語言、空間數據集成技術、套用集成技術、空間資料庫引擎、WebGIS數據系統與分散式軟體開發技術,重點研究數據集成與空間資料庫系列軟體開發與軟體支撐環境。
在研課題
a) 國家自然科學基金項目“基於部分求值的Java構件動態最佳化技術”;
b) 北京市自然科學基金項目“面向GML數據集成的通用查詢語言及實現方法的研究”;
c) 北京市教委科技發展計畫項目“基於Web服務的地理信息資源共享技術”。
科研成果
a) 主持完成國家自然科學基金和863高技術計畫子課題4項。
b) 主持完成省部級科研項目4項。
c) 在國內外學術刊物、重要學術會議上發表50餘篇論文。
d) 正式出版教材、譯著5本。
e) 獲得軟體著作權3個。