蒲戈光
教授、中心高级顾问 华东师范大学软件学院教授、博士生导师、上海市高可信计算重点实验室副主任
蒲戈光，男，1978.3出生。武汉大学学士，北京大学博士学位。目前担任华东师范大学计算机科学与软件工程学院教授，副院长职务，同时担任上海市高可信计算重点实验室副主任。曾获上海市科技启明星，教育部自然科学一等奖等荣誉。主要研究的领域包括软件形式化方法，程序分析、验证与测试，主持国家级与省部级项目10余项，发表学术论文60余篇，包括发表于本领域的国际顶级会议与期刊，如SIGIR,FSE, IJCAI,FM, ICSE, IEEE trans on Computers等。研究工作被国际上的学者广泛引用，论文总被引近千次。同时担任多个国际学术会议（ATVA, SEFM, TASE等）的程序委员会委员。
研究方向
程序分析、软件验证、基于Web的工作流建模
教育经历
1996.9-2000.7 武汉大学 学士
2000.9-2005.7 北京大学 博士
工作经历
2005.7-2007.1 华东师范大学 讲师
2007.1-2012.10 华东师范大学 副教授
2012.10-至今 华东师范大学 教授
项目与学术成果
承担国家级/省部级项目9项，企业项目5项。目前的在测试自动化与验证理论领域取得如下重要成果：
实现了完全自动化的面向覆盖的测试数据自动生成工具，能够支持语句覆盖、分支覆盖、数据流覆盖多多种覆盖标准。该工具目前已在航天与轨道交通企业应用，取得很好的应用效果。同时，该工具已在网上公开，被国际研究学者下载使用近千次。相关的论文发表在顶级会议与期刊如ICSE15, ACM computing survey上。
实现了线形时态逻辑可满足判定的新算法，并实现了相应的工具，该工具目前与国际主流的验证工具在大规模试验集的效果显示我们的算法与工具综合性能最优。该项工作与美国科学院／工程院院士Moshe Vardi教授一起完成，目前该项已经在国际学术界引起了广泛关注。该项工作发表在国际顶级会议如FSE14, ECAI14, IJCAI2017上。