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