蒲戈光

蒲戈光

蒲戈光,教授、博士生導師,上海市高可信計算重點實驗室副主任。

研究方向

程式分析‚軟體驗證‚基於Web的工作流建模

社會兼職

執行委員會委員‚ 2006 國際複雜計算機系統學術會議(IEEE International Conference on Engineering of Complex Computer Systems‚ 2006)

組織委員會主席‚2007 國際軟體工程理論大會(IEEE& IFIP International Symposium on
Theoretical Aspects of Software Engineering‚2007)

執行委員會主席‚2007 國際協調理論的軟體支撐工具大會(International Workshop on
Harnessing Theories for Tool Support in Software‚2007)

學術成果

在國際學術期刊和國際學術會議上發表學術文章50餘篇‚目前承擔項目國家和上海市項目2項‚參與國家973‚863項目2項。

教育部自然科學一等獎(2011)

上海市科技啟明星 (2007)

北京大學學術創新獎 (2004)

職務任免

2018年4月7日,免去蒲戈光的華東師範大學計算機科學與軟體工程學院副院長職務。

相關詞條

熱門詞條

聯絡我們