姓 名：蒲戈光 单 位：软件工程学院
职 称：教授
邮 箱：ggpu@sei.ecnu.edu.cn 办公地址：理B405
教育背景：
北京大学博士研究生毕业
个人介绍：
省部级人才计划入选者，发表高质量论文120 余篇，主持国家项目10 余项，获上海市科技进步特等奖、教育部自然科学一等奖。
研究领域：
程序分析，软件验证，基于Web的工作流建模
可供参与的前沿问题：
工控软件安全保障技术的研究
姓 名：蒲戈光 单 位：软件工程学院
职 称：教授
邮 箱：ggpu@sei.ecnu.edu.cn 办公地址：理B405
教育背景：
北京大学博士研究生毕业
个人介绍：
省部级人才计划入选者，发表高质量论文120 余篇，主持国家项目10 余项，获上海市科技进步特等奖、教育部自然科学一等奖。
研究领域：
程序分析，软件验证，基于Web的工作流建模
可供参与的前沿问题：
工控软件安全保障技术的研究