人物經歷
1986年畢業於同濟大學計算機系，獲工學學士學位。1988年由國家教委公派到英國曼徹斯特大學計算機系攻讀博士學位，師從著名計算機科學家David Rydeheard,。1992年獲博士學位。
1994年1月至今在上海交通大學計算機科學與工程系工作。
計算機科學與工程系主任、軟體學院院長、上海高校軟體理論研究中心主任、中國計算機學會理事。
中國數學會數理邏輯專業委員會常務理事。
教育部高等學校計算機科學與技術教學指導委員會專業教學指導分委員會委員。
《計算機研究與發展》編委、《微電子學與計算機》編委、《小型微型計算機系統》編委、《計算機教育》編委、上海市計算機學會理事長。
上海市計算機學會學術委員會副主任。
上海市計算機學會人工智慧與理論專業委員會主任。
Asian Association for Foundation of Software (AAFS) 的executive member和founding member
The CUE (China-USA-Europe) initiative on “The Scientific Foundations of Informatics as an Engineering Discipline”的Steering Committee的中國成員、上海市計算機行業協會副會長。
主講課程
並行理論、進程演算、進程代數、論域理論、類型理論、程式語義、時態邏輯、離散數學。
研究方向
類型理論及其語義、理論計算機科學、並行理論、進程演算、進程代數、類型理論、程式邏輯、程式語義、Chi-演算、進程演算及其套用、新型計算模型及程式語言。
主要貢獻
論文題為“類型理論中的語義問題”，考官由著名數理邏輯學家兼計算機科學家Peter Aczel和著名數學家兼計算機科學家Martin Hyland擔任。1993年，曼徹斯特大學計算機系當研究助理，參與研究歐共體項目“CLICS-II”。
國家八六三：新型邏輯框架和新型計算模型。
國家自然科學基金(青年)：邏輯類型理論的語義及其套用。
國家八六三：並發計算的元模型。
國家自然科學基金：並發計算模型CHI-演算的理論研究。
國家自然科學基金：內類型理論。
教育部資助優秀青年教師：基本並發計算模型的理論研究。
高等學校骨幹教師資助計畫：元並發模型的理論研究。
教育部博士點基金：並發計算模型CHI-演算的互模擬格理論。
上海市科委重點項目：格線計算中的算法、驗證及模型研究。
國家傑出青年科學基金：計算機科學技術的基礎理論。
八六三重點項目：個人信息處理終端SoC2
獲獎記錄
1997年度上海市優秀青年教師。
1999年度中創軟體獎。
2000年度國務院政府特殊津貼。
2001年度上海交通大學橫山亮次優秀論文獎一等獎。
