|  |
| 个人简介 |  |
| 2006年，获得宁波大学电子信息科学与技术专业学士学位 2009年，获得华东师范大学软件工程专业硕士学位 2013年，获得University Paris-Diderot(Paris 7)计算机科学专业博士学位 2013年7月-2015年12月，华东师范大学任讲师 2014年6月-2014年9月，南洋理工大学任访问研究员 2016年1月-2016年7月，华东师范大学任副研究员 2016年8月，加入上海科技大学，在信息科学与技术学院任助理教授、研究员 |
| 主要研究内容 | |
| 宋富研究领域包括模型检查、系统自动分析与验证及在系统安全方面的应用，其提出的基于下推自动机模型检查的恶意软件检查方法在第18届TACAS/ETAPS国际会议上获得了欧洲软件科学与技术协会（EASST）颁发的最佳论文奖。 |
| 代表性论文 | |
| 1. Taolue Chen, Fu Song* and Zhilin Wu. Verifying Pushdown Multi-Agent Systems against Strategy Logics. In Proc. of the 25th International Joint Conference on Artifficial Intelligence (IJCAI 2016). New York, USA. 9-15 July, 2016. 2. Taolue Chen, Fu Song* and Zhilin Wu. Global Model Checking on Pushdown Multi-Agent Systems. In Proc. of the 30th AAAI Conference on Artifficial Intelligence (AAAI 2016). Arizona, USA. 12-17 February, 2016. 3. Fu Song, Weikai Miao, Geguang Pu and Min Zhang. On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. In Proc. of the 26th International Conference on Concurrency Theory (CONCUR 2015). Madrid, Spain. 1-4 September, 2015. 4. Fu Song and Tayssir Touili. Efficient CTL Model-Checking for Pushdown Systems. Int. Journal on Theoretical Computer Science (TCS), Volume 549, 11 September 2014, Pages 127-145. DOI:10.1016/j.tcs.2014.07.001. 5. Fu Song and Tayssir Touili. LTL Model-Checking for Malware Detection. In Proc. of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013). Rome, Italy. March 16-24, 2013. DOI:10.1007/978-3-642-36742-7_29. 6. Fu Song and Tayssir Touili. Pushdown Model-Checking for Malware Detection. In Proc. of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012).Tallinn, Estonia. March 24-April 1, 2012. DOI:10.1007/978-3-642-28756-5_9. This paper won the EASST best paper award at ETAPS 2012. |
