蒲戈光

蒲戈光，教授、博士生導師，上海市高可信計算重點實驗室副主任。現任上海工業控制安全創新科技有限公司總經理。

基本介紹

• 中文名：蒲戈光 
• 職業：教授、博士生導師 
• 主要成就：教育部自然科學一等獎 
  上海市科技啟明星 
  北京大學學術創新獎 

研究方向

程式分析‚軟體驗證‚基於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日，免去蒲戈光的華東師範大學計算機科學與軟體工程學院副院長職務。

2018年，任職於上海工業控制安全創新科技有限公司，擔任總經理。