Geguang Pu

Home PageEmail

蒲戈光，教授、博士生导师，上海市高可信计算重点实验室副主任。现任上海工业控制安全创新科技有限公司总经理。

研究方向

程序分析‚软件验证‚基于Web的工作流建模

Geguang Pu's papers