個人簡介
職稱： 教授
所屬學(xué)科: 軟件與理論學(xué)科組
研究方向：計算機科學(xué)
職稱： 教授
所屬學(xué)科: 軟件與理論學(xué)科組
研究方向：計算機科學(xué)
1986年畢業(yè)于同濟大學(xué)計算機系，獲工學(xué)學(xué)士學(xué)位。1988年由國家教委公派到英國曼徹斯特大學(xué)計算機系攻讀博士學(xué)位，師從著名計算機科學(xué)家David Rydeheard, 研究方向為類型理論及其語義。1992年獲博士學(xué)位，論文題為“類型理論中的語義問題”，考官由著名數(shù)理邏輯學(xué)家兼計算機科學(xué)家Peter Aczel和著名數(shù)學(xué)家兼計算機科學(xué)家Martin Hyland擔(dān)任。1993年，曼徹斯特大學(xué)計算機系當(dāng)研究助理，參與研究歐共體項目“CLICS-II”。1994年1月至今在上海交通大學(xué)計算機科學(xué)與工程系工作。
職務(wù)與學(xué)術(shù)兼職
計算機科學(xué)與工程系主任
軟件學(xué)院院長
上海高校軟件理論研究中心主任
中國計算機學(xué)會理事
中國數(shù)學(xué)會數(shù)理邏輯專業(yè)委員會常務(wù)理事
教育部高等學(xué)校計算機科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會專業(yè)教學(xué)指導(dǎo)分委員會委員
《計算機研究與發(fā)展》編委
《微電子學(xué)與計算機》編委
《小型微型計算機系統(tǒng)》編委
《計算機教育》編委
上海市計算機學(xué)會理事
上海市計算機學(xué)會學(xué)術(shù)委員會副主任
上海市計算機學(xué)會人工智能與理論專業(yè)委員會主任
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的中國成員
上海市計算機行業(yè)協(xié)會副會長
受獎勵情況
1997年度上海市優(yōu)秀青年教師
1999年度中創(chuàng)軟件獎
2000年度國務(wù)院政府特殊津貼
2001年度上海交通大學(xué)橫山亮次優(yōu)秀論文獎一等獎
主持的科研項目
國家八六三：新型邏輯框架和新型計算模型
國家自然科學(xué)基金(青年)：邏輯類型理論的語義及其應(yīng)用
國家八六三：并發(fā)計算的元模型
國家自然科學(xué)基金：并發(fā)計算模型CHI-演算的理論研究
國家自然科學(xué)基金：內(nèi)類型理論
教育部資助優(yōu)秀青年教師：基本并發(fā)計算模型的理論研究
高等學(xué)校骨干教師資助計劃：元并發(fā)模型的理論研究
教育部博士點基金：并發(fā)計算模型CHI-演算的互模擬格理論
上海市科委重點項目：網(wǎng)格計算中的算法、驗證及模型研究
國家杰出青年科學(xué)基金：計算機科學(xué)技術(shù)的基礎(chǔ)理論
八六三重點項目：個人信息處理終端SoC2
主講課程涉及的領(lǐng)域
并行理論
進程演算
進程代數(shù)
論域理論
類型理論
程序語義
時態(tài)邏輯
離散數(shù)學(xué)
主要研究領(lǐng)域：
理論計算機科學(xué)
并行理論、進程演算、進程代數(shù)
類型理論、程序邏輯、程序語義
當(dāng)前主要研究興趣：
Chi-演算、進程演算及其應(yīng)用
新型計算模型及程序語言